| 15.00-16.00 | Some thoughts about the Axiom of Choice, |
| Horst Herrlich (Univ. Bremen, Germany) | |
| 16.00-16.30 | Coffee break |
| 16.30-17.00 | Semicontinuity in pointfree topology, |
| Jorge Picado (Univ. Coimbra) | |
| 17.00-17.30 | Exponentiability in topology, |
| Dirk Hofmann (Univ. Aveiro) | |
| 17.30-18.00 | On Lawvere's Cauchy-completion of lax algebras, |
| Maria Manuel Clementino (Univ. Coimbra) |
14.00-15.00 |
Group extensions and related categorical algebra revised, |
| George Janelidze (Univ. Cape Town and Tbilisi Math. Institute) | |
| 15.00-15.30 | Groupoid quantales, |
| Pedro Resende (IST, Lisboa) | |
| 15.30-16.00 | Monotone-light factorization for simplicial objects, |
| Joćo Xarez (Univ. Aveiro) | |
| 16.00-16.30 | Coffee break |
| 16.30-17.00 | Morita equivalent algebraic theories, |
| Lurdes Sousa (IP Viseu) | |
| 17.00-17.30 | Exogenous quantum logic, |
| Paulo Mateus (IST, Lisboa) | |
| 17.30-18.00 | Cut elimination in a general modal calculus, |
| Joćo Rasga (IST, Lisboa) | |
| 18.00-18.30 | A categorical Galois theory of ordered compact Hausdorff spaces, |
| Manuela Sobral (Univ. Coimbra) |
| Sala 2.3, Mathematics Department, University of Coimbra |
| Support: | |
| Centro de Matemática da Universidade de Coimbra / FCT | |
| Departamento de Matemática da Universidade de Coimbra |