Friday, April 8
| 19:00-20:30 | Welcome Party | Bar (at the backyard of the Maths Department, zero floor) |
| 09:00-09:35 | J. Adámek | Wellfounded coalgebras |
09:35-10:10 |
S. Milius | Elgot Algebras. A Base for Denotational Semantics |
10:10-10:45 |
P. Resende | Localic germ groupoids of inverse semigroups |
10:45-11:15 | Coffee break | |
11:15-11:50 |
R. Kieboom | Quillen model category structures for homotopy of internal categories |
|
11:50-12:25 | T. Van der Linden | Homotopy vs. homology of simplicial objects |
12:25-13:00 | F. De Marchi | Glueing monads: a descent problem |
13:00-15:00 | Lunch break | |
15:00-15:35 | T. Leinster | The Thompson groups |
15:35-16:10 | J. Xarez | A convenient setting for obtaining Galois theories with stable units |
16:10-16:45 | V. Rossi | Galois Theory and Double Central Extensions |
16:45-17:15 | Coffee break | |
17:15-17:50 | T. Everaert | Commutators and Galois theory |
17:50-18:25 |
M. Gran | Homology of precrossed modules and Galois theory |
| 09:00-09:35 | F. Borceux | Initial normal covers in bi-implicative toposes |
09:35-10:10 | C. Hermida | Descent on 2-fibrations and strongly 2-regular 2-categories |
10:10-10:45 | C. Schubert | Every topological category is a category of lax algebras |
10:45-11:15 | Coffee break | |
11:15-11:50 | P. Malbos | Homology and term rewriting systems |
11:50-12:25 | P. Mateus | Minimization of Quantum Automata |
12:25-13:00 | W. Tholen | Weak factorization systems |