FMCS'06 Program
June 7:
Morning Schedule:
- 08.45-10.15. Tom Leinster - Operads (tutorial)
- 10.15-10.45. Coffee break
- 10.45-12.45. André Joyal - Free bicompletions of categories (tutorial)
Evening Schedule:
- 19.00-20.00. Myles Tierney - Introduction to modern
homotopy theory (tutorial)
- 20.00-20.30. Eugenia Cheng - The periodic table of n-categories: low-dimensional results
- 20.30-20.45. Break
- 20.45-21.10. Robin Houston - Finite products are biproducts in a compact closed category
- 21.10-21.35. Thorsten Palm - Rudiments of a theory of polytopic sets
- 21.35-22.00. Craig Pastro - Quantum categories
- 22.00-22.25. Brett Giles - Programming with classical quantum datatypes
June 8:
Morning Schedule:
- 08.45-10.15. Jaap van Oosten - What is synthetic domain theory? (tutorial)
- 10.15-10.45. Coffee Break
- 10.45-11.45. Jaap van Oosten - What is synthetic domain theory? (tutorial continued)
- 11.45-12.15. Nicola Gambino - Pseudo-distributive laws: theory and applications
- 12.15-12.45. Alex Simpson - An abstract account of probability measures
Evening Schedule:
- 19.00-19.30. Philip Scott - Models of polarized multiplicative linear logic
- 19.30-20.00. Paul Taylor - Computable real analysis without set theory or Turing machines
- 20.00-20.30. Varmo Vene - Comonadic notions of computation
- 20.30-20.45. Break
- 20.45-21.10. Benno van den Berg - The free predicative topos
- 21.10-21.35. Michael Warren - Homotopy models of intensional type theory
- 21.35-22.00. Wadii Hajji - Ehresmann semigroups from a range restriction viewpoint
June 9:
Morning Schedule:
- 08.45-09.45. Ernie Manes - Distributive laws and Kleisli strength (tutorial)
- 09.45-10.15. Phil Mulry - Distributive laws and Kleisli strength
- 10.15-10.45. Coffee Break
- 10.45-11.15. Dorette Pronk - More general spans
- 11.15-11.45. Bob Rosebrugh - Constant complements, reversibility and universal view updates
- 11.45-12.15. Peter Freyd - New *-autonomous structures for
old categories
