Schedule - Week 1 (June 2-6) |
Location: Fauteux Building, Room 361 (see Local Information for maps and directions).
| Monday | Tuesday | Wednesday | Thursday | Friday | |
| 9-10:30 | Scott | Scott | Scott | Scott | Selinger |
| 11-12:30 | Scott | Selinger | Selinger | Selinger | Seely |
| 2-3:30 | Blute | Blute | Blute | Blute | Cockett |
| 4-5:30 | Blute | Excursion | Ehrhard | Ehrhard | Student Presentations |
Excursion:
On Tuesday afternoon (June 3), there is an excursion to the Canadian Museum of Civilization.
Student Presentations: Friday, June 6, 4-6pm:
- Dana Harrington (Calgary): "Introduction to uniqueness categories"
- Sylvain Degeilh (Montpellier): "Lambek's pregroups applied to linguistics"
- Nan Niu (Alberta): "Model checking and transaction management"
- Sylvain Hallé (UQAM): "A 'small' improvement on sequent calculus"
- Sam Moelius (Drexel): "Streams, existential trype and the duplicator problem"
Schedule - Week 2 (June 9-13) |
Location: Fauteux Building, Room 361 (see Local Information for maps and directions).
| Monday | Tuesday | Wednesday | Thursday | Friday | |
| 9-10:30 | Abramsky | Abramsky | Abramsky | McCusker | McCusker |
| 11-12:30 | Abramsky | Abramsky | Abramsky | McCusker | McCusker |
| 2-3:30 | Winskel | Winskel | Winskel | Winskel | Winskel |
| 4-5:30 | Winskel | Winskel | Student Presentations | Girard | 5pm: Excursion |
| 6:30-7:45 | Student Presentations |
Excursion:
On Friday afternoon (June 13), there is an excursion to the Canadian Parliament. We will leave in front of Fauteux at 5pm. Avoid bringing unnecessary items such as backpacks, as these will have to be screened for security.
Student Presentations:
Wednesday, June 11, 4-5:30pm, Fauteux 361:
- Luís Cruz-Filipe (Nijmegen): "Formalizing mathematics in Coq"
- Éric Paquette (Ottawa): "TQFT's and catgories"
- Alwen Tiu (Ecole Polytechnique): "Induction and co-induction in sequent calculus"
- Pawel Sobocinski (BRICS): "Deriving bisimulation congruences"
- Wadii Hajji (Trois Rivieres): "Galois lattices"
- Chang Li (Turku): "Formal methods and FIFO queues"
- María Angeles Galán García (Umea): "Categorical unification"
- Kurt Ranalter (London): "Formal pragmatics"
- Brett Giles (Calgary): "Compiling Selinger's quantum programming language"
- Benoît Valiron (Ottawa): "A functional quantum programming language"
Schedule - Workshop on Quantum Programming Languages (June 15-16) |
Schedule - Workshop on Game Semantics (June 17) |
Schedule - Workshop on Mathematical Linguistics (June 18-19) |
Schedule - Workshop on Concurrency and Mobility (June 19-20) |
Workshops:
June 15-16: Quantum
June 17: Games
June 18-19: Linguistics
June 19-20: Concurrency
Related Events in Ottawa:
May 30-June 1: FMCS'03
June 21-27: LICS'03