- 9-10:00
- Louis Kauffman: Anyonic Topological Computation and Quantum
Algorithms for knot polynomials
- 10:00-10:15
- Break
- 10:15-11:15
- Tim Porter: Formal Homotopy, quantum field theory, and traces
- 11:15-11:30
- Break
- 11:30-12:00
- Prakash Panangaden: Internal Traces
- 12:05-12:35
- Eric Paquette: Quantum Decoherence
- 12:35-2:00
- Lunch
- 2:00-3:00
- Paul-André Melliès: Functorial Boxes in String Diagrams
- 3:00-3:30
- Break
- 3:30-4:00
- Greg Meredith: Knots as processes
- 4:00-4:30
- Benoit Valiron: A categorical model for a quantum lambda calculus
- 4:45-
- Reception at the Math Department (585 King
Edward)
Monday, 30 April
Abstracts
Click Here
- 9-10:00
- Samson Abramsky: Axiomatics of No-Cloning and No-Deleting
- 10:00-10:15
- Break
- 10:15-11:15
- Robin Cockett: Itegories and Partial Combinatory Algebras
- 11:15-11:30
- Break
- 11:30-12:00
- Tarmo Uustalu: Comonadic Notions of Computation
- 12:00-12:30
- Nicola Gambino: Traces of analytic functors
- End of Workshop