9.0010.00

C. Butz, BernaysGödel type theory

10.0011.00

M. Batanin, Operads in higher dimensional category theory

11.0011.30

Coffee Break

11.3012.00

R. Street, Plane trees and higher categories

12.0012.30

R. Wood, Completely distributive lattices

12.3013.00

E. Dubuc, Some points on Grothendieck's interpretation of Galois Theory

13.0014.30

Lunch Break

14.3015.00

J. MacDonald, Parameters and fibrations

A. Pultr, Approximative spaces

15.0015.30

E.G. Minian, LambdaCofibration categories

P.P. Matutu, Stably continuous sigma frames

15.3016.00

M. Menni, A characterization of the left exact categories whose exact completion is a topos

R. Rother, Some remarks on topological functors

16.0016.30

T. Leinster, Generalized enrichment of categories

G. Richter, Remarks on exponentiable morphisms in Top

16.3017.00

Coffee Break

17.0017.30

L. Schröder, Preimages of classes of epimorphisms

F. Marmolejo, Distributive laws for pseudomonads

17.3018.00

F. Markopoulou, Quantum causal histories: What the universe looks like from the inside



19.3023.00

Conference dinner
