QICS School: Foundational Structures in Quantum Comp & Inf, May 24-28, Oxford (followed by Quantum Physics and Logic workshop)

QICS School: Foundational Structures in Quantum Comp & Inf, May 24-28, Oxford (followed by Quantum Physics and Logic workshop)

[Bob Coecke]

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Spring School that marks the end of an EU FP6 FET STREP on:
Foundational Structures in Quantum Computation and Information
May 24-28, 2010, Oxford University, UK
http://web.comlab.ox.ac.uk/people/Bob.Coecke/QICS_School.html

It consists on extended tutorials on the main research strands within QICS, 
namely:
* Structures and methods for measurement-based quantum computation
* Categorical semantics, logics, diagrammatic methods
* Classical-quantum interaction and information flow
* Quantum automata, machines, calculi

Topics that will be covered include:
* measurement-based quantum computing (MBQC); properties of graph states; MBQC 
and condensed matter physics; blind quantum computation; determinism in MBQC; 
measurement-based classical computation and non-locality;
* monoidal categories, Frobenius algebras, and their graphical calculus; 
(co)algebra of complementary observables and multipartite quantum entanglement, 
and applications to MBQC; phase groups and non-locality;
* classical simulation of quantum circuits; categorical topological quantum 
computation; graphical calculus for measurements and channels; generalized 
probabilistic theories; convex operational models and non-locality;
* quantum cellular automata (QCA); QCAs and causality; higher types in quantum 
computing; quantum logics and quantum machines; colagebraic methods;

Confirmed lecturers include (more to be announced closer to date):
Samson Abramsky (Oxford), Pablo Arrighi (Grenoble), Howard Barnum (Perimeter), 
Jonathan Barrett (Bristol, TBC), Dan Browne (UCL - London), Bob Coecke 
(Oxford), Ross Duncan (Oxford), Joe Fitzsimons (Oxford), Akimasa Miyake 
(Perimeter), Prakash Panangaden (McGill), Simon Perdrix (Grenoble), Peter 
Selinger (Dalhousie), Maarten van den Nest (Max-Planck, TBC), Reinhard F. 
Werner (Hannover)

If you are interested in attending the QICS School please write
Ross Duncan <ross.duncan-wzN9gXeOksgSiZgQ0OGTRA@public.gmane.org>.

Please feel free to forward this message to your group or on relevant local 
mailing lists.

---------

Satellite workshop:
Quantum Physics and Logic, May 29-30.
http://web.comlab.ox.ac.uk/people/Bob.Coecke/QPL_10.html

Invited speakers:
- John Baez (UCR & Singapore)
- Louis Crane (Kansas State)
- Benjamin Schumacher (Kenyon College)

PC chairs:
- Bob Coecke (Oxford)
- Prakash Panangaden (McGill)
- Peter Selinger (Dalhousie)

QICS School: Foundational Structures in Quantum Comp & Inf, May 24-28, Oxford (followed by Quantum Physics and Logic workshop)

[Bob Coecke]

Spring School that marks the end of an EU FP6 FET STREP on:
Foundational Structures in Quantum Computation and Information
May 24-28, 2010, Oxford University, UK
http://web.comlab.ox.ac.uk/people/Bob.Coecke/QICS_School.html

It consists on extended tutorials on the main research strands within QICS,
namely:
* Structures and methods for measurement-based quantum computation
* Categorical semantics, logics, diagrammatic methods
* Classical-quantum interaction and information flow
* Quantum automata, machines, calculi

Topics that will be covered include:
* measurement-based quantum computing (MBQC); properties of graph states; MBQC
and condensed matter physics; blind quantum computation; determinism in MBQC;
measurement-based classical computation and non-locality;
* monoidal categories, Frobenius algebras, and their graphical calculus;
(co)algebra of complementary observables and multipartite quantum entanglement,
and applications to MBQC; phase groups and non-locality;
* classical simulation of quantum circuits; categorical topological quantum
computation; graphical calculus for measurements and channels; generalized
probabilistic theories; convex operational models and non-locality;
* quantum cellular automata (QCA); QCAs and causality; higher types in quantum
computing; quantum logics and quantum machines; colagebraic methods;

Confirmed lecturers include (more to be announced closer to date):
Samson Abramsky (Oxford), Pablo Arrighi (Grenoble), Howard Barnum (Perimeter),
Jonathan Barrett (Bristol, TBC), Dan Browne (UCL - London), Bob Coecke
(Oxford), Ross Duncan (Oxford), Joe Fitzsimons (Oxford), Akimasa Miyake
(Perimeter), Prakash Panangaden (McGill), Simon Perdrix (Grenoble), Peter
Selinger (Dalhousie), Maarten van den Nest (Max-Planck, TBC), Reinhard F.
Werner (Hannover)

If you are interested in attending the QICS School please write
Ross Duncan <ross.duncan@comlab.ox.ac.uk>.

Please feel free to forward this message to your group or on relevant local
mailing lists.

---------

Satellite workshop:
Quantum Physics and Logic, May 29-30.
http://web.comlab.ox.ac.uk/people/Bob.Coecke/QPL_10.html

Invited speakers:
- John Baez (UCR & Singapore)
- Louis Crane (Kansas State)
- Benjamin Schumacher (Kenyon College)

PC chairs:
- Bob Coecke (Oxford)
- Prakash Panangaden (McGill)
- Peter Selinger (Dalhousie)


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]