| 10.00-10.35 | Topological semiabelian algebras, |
| Francis Borceux (Université Catholique de Louvain / CMUC) | |
| 10.40-11.00 | Dual adjunctions and induced monads, |
| Manuela Sobral (Univ. Coimbra) | |
| 11.05-11.25 | Coffee break |
| 11.25-11.45 | Local homeomorphisms and discrete fibrations, |
| Maria Manuel Clementino (Univ. Coimbra) | |
| 11.50-12.10 | Dissonant-concordant and related factorization systems for categories, |
| João Xarez (Univ. Aveiro) | |
| 12.15-12.50 | Prevarieties, A-pure subobjects and omega-orthogonality classes, |
| Lurdes Sousa (IP Viseu) | |
| 12.55-14.15 | Lunch break |
14.15-14.50 |
A new algebraic semantics for modal sequent calculi, |
| Cristina Sernadas (IST, Lisboa) | |
| 14.55-15.15 | Exogeneous probabilistic logic, |
| Amílcar Sernadas (IST, Lisboa) | |
| 15.20-15.55 | Internal paracategories, |
| Paulo Mateus (IST, Lisboa) | |
| 16.00-16.20 | Combining logics versus Grothendieck institutions, |
| Jaime Ramos (IST, Lisboa) | |
| 16.25-16.45 | Coffee break |
| 16.45-17.05 | Descent in quasivarieties: a new approach, |
| Ana Helena Roque (Univ. Aveiro) | |
| 17.10-17.30 | Weak categories, |
| Nelson Martins-Ferreira (IP Leiria) | |
| 17.35-18.10 | Some recent developments in categorical universal algebra, |
| George Janelidze (Georgian Academy of Sciences, Tbilisi / Univ. Aveiro) |
| Sala 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 |