| 11:00 - 12:00 | Considering Kleisli morphisms as bimodules | |
| Walter Tholen (York Univ., Toronto, Canada) | ||
| 12:00 - 12:30 | Moving from orthogonality to Kan-injectivity | |
| Lurdes Sousa (School of Technology of Viseu and CMUC, Portugal) | ||
| 12:30 - 14:00 | Lunch | |
| 14:00 - 14:30 | On the uniform structure of localic groups: functoriality | |
| Jorge Picado (Univ. Coimbra and CMUC, Portugal) | ||
| 14:30 - 15:00 | Cohomology of categories fibered in groupoids | |
| Filippo Viviani (CMUC and Univ. Roma Tre, Italy) | ||
| 15:00 - 15:30 | The nerve of a crossed module | |
| Ivan Yudin (CMUC, Portugal) | ||
| 15:30 - 16:00 | On split extensions underlying a cartesian product | |
| Nelson Martins-Ferreira (IP Leiria, Portugal) | ||
| 16:00 - 16:30 | Actor of a precrossed module in Lie algebras | |
| Enver Uslu (Kocatepe Univ., Turkey, and Univ. Vigo, Spain) | ||
| 16:30 - 17:00 | Coffee Break | |
| 17:00 - 17:30 | Complete spaces | |
| Dirk Hofmann (Univ. Aveiro, Portugal) | ||
| 17:30 - 18:00 | Galois theories and generalised connectedness | |
| João Xarez (Univ. Aveiro, Portugal) | ||
| 18:00 - 18:30 | Semidirect products and internal structures in Jonsson-Tarski varieties | |
| Andrea Montoli (CMUC, Portugal) | ||
| 18:30 - 19:00 | The geometry of higher central extensions | |
| Tim Van der Linden (Univ. of Louvain-la-Neuve, Belgium) | ||
| Room 2.4, Mathematics Department, University of Coimbra |
| Support: CMUC - Centro de Matemática da Universidade de Coimbra / FCT | |
| DMUC - Departamento de Matemática da Universidade de Coimbra |