Wednesday 19
9.00-9.50	Jonathon Funk An interval construction in the topos of sets equipped with an action by a braid group
10.00-10.25	Tibor Beke Towards a homotopy theory of topoi
10.30-11.00	coffee break
11.00-11.25	Marta Bunge Dominances and spread completions
11.30-11.55	Panagis Karazeris Categorical domain theory: Scott topology, powercategories, coherent categories
12.00-12.25	Enrico Vitale On algebraically exact categories and essential localizations of varieties
12.30-12.55	Anders Kock Some metric aspects of SDG
13.00-14.30	lunch break
16.00-19.00	Excursions
19.30	Conference Dinner