PSSL 88

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