Speaker | Title | Date |
---|---|---|
Norihiro Yamada (CMUC, Univ. Coimbra) | TBA | 2025-04-22 |
Lurdes Sousa (CMUC, IP Viseu) | TBA | 2025-04-22 |
Dirk Hofmann (CIDMA, Univ. Aveiro) | Normed categories | 2025-03-11 |
Beatriz Teixeira (Univ. Aveiro) | Introduction to Abstract Homotopy Theory | 2025-03-11 |
Diogo Abreu (CEMAT, Univ. Lisboa) | A brief introduction to Topological Automata | 2025-02-04 |
Nelson Martins-Ferreira (CDRSP, ESTG, IP Leiria) | Categorical programming with MATLAB and Octave: An analysis of built-in functions and coequalizer implementation | 2025-02-04 |
Norihiro Yamada (CMUC, Univ. Coimbra) | Definability and full abstraction for algebraic effects with recursion | 2024-12-17 |
Rui Prezado (CIDMA, Univ. Aveiro) | Limit-colimit pseudodistributive laws and associated pseudoalgebras | 2024-12-17 |
Jirí Adámek (Czech Technical Univ., Prague, Czech Republic) | Weighted sifted colimits | 2024-11-20 |
Maria Manuel Clementino (CMUC, Univ. Coimbra) | Right-preordered groups from a categorical perspective | 2024-10-22 |