Schedule

	Monday		Tuesday		Wednesday	Thursday		Friday		Saturday
09:00-09:55	Lawvere		Joyal		Garner	Mantovani		Aguiar		Paré
10:00-10:25	Rosolini		Tierney		Lack	Rodelo		Leinster		Niefield
10:30-11:15	Break
11:15-11:40	Cockett		Riehl		Shulman	Tholen		McCurdy		Marmolejo
11:45-12:10	Menni		Bisson		Lumsdaine	Clementino		Lucyshyn-Wright		Weber
12:15-12:40	Barr		Oury		Johnstone	Seal		Picado		Cheng
12:45-14:15	Lunch				Excursion	Lunch
14:15-14:40	Blute		Lopez Franco			Hofmann		Pratt
14:45-15:10	Döring		MacDonald			Linton		Koslowski
15:15-16:00	Break					Break
16:00-16:25	Gallagher	Kim	Stone	Michel		Xarez	Kenney	Diskin	Schäppi
16:30-16:55	Booker	Scull	Kostecki	Majard		Sozubek	Chung	Sallach	Egger

Lecture Rooms