Friday 21
9.00-9.50 Rainer Vogt
Iterated monoidal categories and iterated loop spaces
10.00-10.25 Marek Golasinski
Categorical Methods in the Equivariant Rational Homotopy Theory
10.30-11.00 coffee break
11.00-11.25 Tim Porter
Atlases of Groupoids and Global Actions
11.30-11.55 José García-Calcines, M. García-Pinillos, Luis Hernández-Paricio
Closed simplicial model structures for exterior and proper homotopy theory
12.00-12.25 Marco Grandis
Exactness and stability in homotopical algebra
Poster session

13.00-14.30 lunch break
15.00-15.50 Claudio Hermida
Coherence via Universality
16.00-16.25 Richard Blute, Prakash Panangaden
Nuclear ideals and formal distributions
16.30-17.00 coffee break
17.00-17.25 Max Kelly
A Note on Actions of a Monoidal Category
17.30-17.55 Steve Lack
Extended distributive laws
18.00-18.30 Noson Yanofsky
Coherence, Homotopy and 2-Theories