| 11.00 - 12.00 | Ideal determined categories | |
| George Janelidze (Univ. of Cape Town, South Africa) | ||
| 12.00 - 12.30 | Weak Galois extensions (SLIDES) | |
| Ramon González Rodríguez (Univ. of Vigo, Spain) | ||
| 12.30 - 13.00 | Graph-theoretic Fibring of Logics (SLIDES) | |
| João Rasga (IST, IT, Lisbon) | ||
| 13.00 - 14.00 | Lunch | |
| 14.00 - 14.30 | The pretrace of a small category | |
| Emilio Faro (Univ. of Vigo, Spain) | ||
| 14.30 - 15.00 | Self-portraits of a topos | |
| Pedro Resende (IST, Lisbon) | ||
| 15.00 - 15.30 | Categorical Logics extending Birkhoff's Equational Logic (SLIDES) | |
| Lurdes Sousa (IPViseu and CMUC) | ||
| 15.30 - 16.00 | Faithfulness and the coequalizer of the kernel pair process | |
| João Xarez (Univ. of Aveiro) | ||
| 16.00 - 16.30 | Insertion in biframes (SLIDES) | |
| Maria João Ferreira (Univ. of Coimbra and CMUC) | ||
| 16.30 - 17.00 | Coffee Break | |
| 17.00 - 17.30 | The third cohomology group classifies double central extensions (SLIDES) | |
| T. Van der Linden (CMUC and Univ. of Brussels) | ||
| 17.30 - 18.00 | New algebraic examples of relative semi-abelian categories | |
| Tamar Janelidze (Univ. of Cape Town, South Africa) | ||
| 18.00 - 18.30 | Co-representations and homology with coefficients of Leibniz n-algebras | |
| José Manuel Casas (E.U.I.T. Forestal, Pontevedra, Spain) | ||
| 18.30 - 19.00 | Descent for compact 0-dimensional spaces (SLIDES) | |
| Manuela Sobral (Univ. of Coimbra and CMUC) |
| Room 2.4, Mathematics Department, University of Coimbra |
| Support: Centro de Matemática da Universidade de Coimbra / FCT | |
| Departamento de Matemática da Universidade de Coimbra |