- Saturday
- 10.00:
*Paul Taylor*(Imperial) The connected open filter monad---a connection between Scott and Berry--Girard domain theory - 11.15:
*Andy Pitts*(Sussex) A (too) elementary theory of approximations - 12.15:
*Dona Strauss*(Hull) The semigroup structure of - 14.15:
*Yves Diers*(Valenciennes) Locally rational categories - 15.05:
*Dusko Pavlovic*(Utrecht) Free Boolean categories - 16.30:
*Nick Gilbert*(Bangor) Simplicial groups and automorphisms of crossed modules - 17.15:
*Thomas Streicher*(Passau) Models of the calculus of constructions - Sunday
- 09.30:
*Ronnie Brown*(Bangor) Geometrically defined compositions and multiple processing - 10.20:
*Bob Rosebrugh*(Mount Allison) Composing gamuts and automata - 11.30:
*Harold Simmons*(Aberdeen) ?

- Friday
- 16.00:
*Martin Hyland*(Cambridge) Algebraic data types in models for the second order lambda-calculus - Saturday
- 10.10:
*Anders Kock*(Aarhus) A Godement theorem for locales - 11.20:
*Peter Johnstone*(Cambridge) A constructive proof that localic subgroups are closed - 14.50:
*Thomas Streicher*(Passau) Independence proofs by realizability models of the calculus of constructions - 15.20:
*Andre Scedrov*(Pennsylvania) Semantic parametricity in polymorphic lambda calculus - 16.35:
*Andy Pitts*(Sussex) The category of closed types of a consistent polymorphic -theory can never be a topos - 17.15:
*Yves Diers*(Valenciennes) Codisjunctors in the category of -rings - Sunday
- 10.10:
*Francis Borceux*(Louvain) When is a locally finitely presentable category a topos? - 10.45:
*Joern Schmidt*(Aarhus) Coherent theory of internal sites and their models - 11.45:
*Fer-Jan de Vries*(Utrecht) A type-theoretical perspective on the family of associated sheaf constructions - 12.15:
*Robert Paré*(Dalhousie) Natural numbers in monoidal categories

- Friday
- 14.15:
*Ieke Moerdijk*(Utrecht) Groupoids and torsors - Saturday
- 10.10:
*Anders Kock*(Aarhus) Left exactness of Kan extensions with values in large sites - 11.15:
*Ieke Moerdijk*(Utrecht) Descent for toposes - 12.10:
*Dona Strauss*(Hull) A functor from frames to extremally disconnected spaces - 14.00:
*Andy Pitts*(Sussex) Powertypes and polytypes - 14.45:
*Gavin Wraith*(Sussex) Remarks on Hagino's thesis: Categorical Datatypes - 15.45:
*Peter Johnstone*(Cambridge) The monadic factorization of a geometric morphism - 16.30:
*Paul Taylor*(Imperial) Universal properties, Galois groups and Girard's domain theory - Sunday
- 10.00:
*Bruno Loiseau*(Louvain) Some properties of PN in a topos - 11.10:
*Dusko Pavlovic*(Utrecht) Some categorical structures around type theories - 11.55:
*Fer-Jan de Vries*(Amsterdam) Gödel translations

Back to the index