PSSL 76

Friday: 14.00: Gonzalo Reyes (Montréal) Coherent logic; 16.00: Roy Dyckhoff (St Andrews) Sheaves and bundles
Saturday: 09.00: Robert Seely (Cambridge) Hyperdoctrines and proof theory; 10.00: Wilfrid Hodges (Bedford College) Uniform reduction for local functors; 11.00: Harold Simmons (Aberdeen) j-maps on Heyting algebras; 11.45: Mike Fourman (Oxford) Sober spaces in topoi; 14.15: Martin Hyland (Oxford) Postprandial discursion; 15.15: Peter Johnstone (Cambridge) Some short theorems on Kuratowski-finiteness; 16.45: Robin Grayson (Oxford) Finiteness in intuitionistic set theory
Sunday: 09.30: Gavin Wraith (Sussex) Etale spectrum as a classifying topos; 10.30: Julian Cole (Sussex) The bicategory of topoi; 11.45: Gonzalo Reyes (Montréal) Negations of coherent formulae

Saturday: 10.00: Dana Scott (Oxford) Apartness relations; 11.30: Peter Johnstone (Cambridge) Integral domains in toposes; 14.15: Mike Fourman (Oxford) ?; 15.30: Richard Bithell (Sussex) Torsors; 16.30: Hassan Al-Ezeh (Sussex) Etendues and glueing
Sunday: 10.00: Gavin Wraith (Sussex) Rings of Taylor type; 11.30: Bob Walters (Sydney) Cosmoi and the logic of 2-categories

Saturday: 10.00: Mike Fourman (Oxford) Complex analysis in a topos; 11.30: Barry Tennison (Cambridge) Some sites used in algebraic geometry; 14.15: Robert Seely (Cambridge) Theories definable by finite limits; 15.15: Julian Cole (Sussex) Large and small sites; 16.30: Robin Grayson (Oxford) Lindenbaum algebras of geometric theories
Sunday: 10.00: Peter Johnstone (Cambridge) Higher-dimensional torsors

Saturday: 10.00: Chris Mulvey (Sussex) A survey of sheaf representations; 14.30: Robin Grayson (Oxford) Topology in topoi of sheaves; 16.00: Bill Stephenson (Bedford College) Pierce representation of non-commutative rings
Sunday: 09.30: Gavin Wraith (Sussex) Formal differential geometry; 11.00: Michel Coste (Paris-Nord) Spectra and sheaf representations; 12.00: Peter Johnstone (Cambridge) Do free functors preserve monomorphisms?