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