| 09.00 - 09.50 | Split extension classifier and centrality |
| Dominique Bourn (Université du Littoral Côte d'Opale, France) | |
| 10.00 - 10.25 | A deduction system for orthogonality |
| Lurdes Sousa (IP Viseu and CMUC, Portugal) | |
| 10.30 - 11.00 | Coffee Break |
| 11.00 - 11.25 | Radicals and closure operators in normal categories |
| Maria Manuel Clementino (Univ. of Coimbra and CMUC, Portugal) | |
| 11.30 - 11.55 | Suplattices over Q are precisely Q-modules |
| Isar Stubbe (CMUC, Portugal) | |
| 12.00 - 12.50 | External derivations of internal groupoids |
| Enrico Vitale (Université Catholique de Louvain, Belgium) |
| Room 5.5, Mathematics Department, University of Coimbra |
| Support: Centro de Matemática da Universidade de Coimbra / FCT | |
| Departamento de Matemática da Universidade de Coimbra |