PSSL 99

Saturday

09.30: Gavin Wraith (Sussex) Byways I wish I had explored further

10.05: Gonzalo Reyes (Montréal) Toposes of types

10.40: Marek Zawadowski (Warszawa) Duality between disks and simple categories

11.40: Ieke Moerdijk (Utrecht) On the Connes--Kreimer Hopf algebra

12.15: Chris Mulvey (Sussex) Foulis quantales

14.00: Anders Kock (Aarhus) Infinitesimal aspects of Riemannian geometry

14.35: Marcelo Fiore (Sussex) Abstract syntax and variable binding, I

15.20: Daniele Turi (Edinburgh) Abstract syntax and variable binding, II

16.30: Gonzalo Reyes (Montréal)g Equilogical spaces and filter spaces

17.05: Tibor Beke (Utrecht) Homotopy theory of models of a finite limit theory in a Grothendieck topos

17.40: Peter Johnstone (Cambridge) Are fixpoint objects

-discrete?

Sunday

09.15: Steve Vickers (Imperial) Strongly algebraic = SFP (topically)

10.00: Alex Simpson (Edinburgh) Equational lifting monads

11.00: Tom Leinster (Cambridge) fc-multicategories

11.45: Jürgen Koslowski (Braunschweig) Closed linear bicategories and local *-autonomy

12.20: Neil Ghani (Leicester) Monads and conditional rewriting

14.00: Thomas Hildebrandt (Aarhus) Finite delay in presheaves

14.35: Paul Taylor (QMW) Lattice-dual proofs for open and closed/proper/compact results

15.10: Martin Wehr (Edinburgh) Higher-dimensional algebraic data types

15.45: Matias Menni (Edinburgh)

-projecting quotients of countably based spaces