Schedule of talks

All talks will be in Baker Hall A51 (campus map).

Saturday, 14 November:

9:00 Pieter Hofstra The classifying topos of an inverse semigroup
9:45 Nate Ackermann Relativized Grothendieck toposes and potential maps
10:30 Coffee break
11:00 Mike Shulman Unbounded quantifiers and strong axioms in topos theory
11:45 Dana Scott Measure algebras and logic
12:30 Lunch
1:30 Mike Lieberman Accessible categories and abstract elementary classes
2:15 Peter LeFanu Lumsdaine Building weak ω-groupoids from type theory
3:00 Kohei Kishida Neighborhood sheaves
3:30 Coffee break
4:00 Simona Paoli Two-track categories
4:45 Dorette Pronk Atlas groupoids as internal categories of fractions
5:30 Robin Cockett Orthogonal rewriting for partial theories
6:00 End of the Saturday talks
7:00 Dinner party!

Sunday, 15 November:

9:00 Peter Freyd TBA
9:45 David Spivak Mapping spaces of quasicategories
10:30 Marc Comeau TBA
11:00 Coffee break
11:30 Geoff Cruttwell Combinatorial game categories
12:15 Pino Rosolini Exact completions and type theory
1:00 End of the meeting!