| Coffee | ||
| 10.45 - 11.30 | Categorification and knot homologies | |
| Marco Mackaay (University of Algarve) | ||
| 11.30 - 12.00 | How to avoid crossed modules in group cohomology | |
| Diana Rodelo (University of Algarve and CMUC) | ||
| 12.00 - 12.30 | Eilenberg-Moore algebras and categories for pointfree topology | |
| Christophe Van Olmen (University of Antwerp, Belgium, and CMUC) | ||
| 12.30 - 14.15 | Lunch | |
| 14.15 - 15.00 | Variations on the notion of filtered colimit | |
| Francis Borceux (Université Catholique de Louvain, Belgium) | ||
| 15.00 - 15.30 | Towards a universal theory of fibring | |
| Amílcar Sernadas (IST, Lisbon) | ||
| 15.30 - 16.00 | Sequential spaces in topological structures | |
| Gonçalo Gutierres (University of Coimbra and CMUC) | ||
| 16.00 - 16.30 | Categorical notions in T-categories | |
| Dirk Hofmann (University of Aveiro) | ||
| 16.30 - 17.00 | Coffee | |
| 17.00 - 17.30 | Quantum institutions | |
| Carlos Caleiro (IST, Lisbon) | ||
| 17.30 - 18.00 | About descent in quasi-varieties | |
| Ana Helena Roque (University of Aveiro) | ||
| 18.00 - 18.45 | Relative commutator associated with varieties of nilpotent and of solvable groups | |
| Marino Gran (Université du Littoral Côte d'Opale, Calais, France) |
| Room 2.5, Mathematics Department, University of Coimbra |
| Support: Centro de Matemática da Universidade de Coimbra / FCT | |
| Departamento de Matemática da Universidade de Coimbra |