Speaker | Title | Date |
---|---|---|
Raquel Bernardes (CMUC, Univ. Coimbra) | Induced congruences in \(\sigma\)-frames | 2023-12-05 |
Manuela Sobral (CMUC, Univ. Coimbra) | More on descent theory of closure spaces and related remarks | 2023-11-14 |
Mykola Khrypchenko (Univ. Porto) | Inverse semigroup cohomology and crossed module extensions of semilattices of groups by inverse semigroups | 2023-11-14 |
Sophie Marques (Stellenbosch Univ., South Africa) | Exploring polynomial equations through Field Theory | 2023-09-05 |
Norihido Yamada (Univ. do Minho) | Topology and topoi via internal groupoids | 2023-09-05 |
Nelson Martins-Ferreira (IP Leiria) | A new characterization of internal groupoids | 2023-05-30 |
Renato Neves (Univ. do Minho) | Higher-order quantitative equational theories | 2023-05-30 |
Vincenzo Fano (Univ. Urbino, Italy) | Logical pluralism | 2023-05-16 |
Graham Manuell (CMUC, Univ. Coimbra) | The localic groupoid classifying a geometric theory | 2023-04-26 |
Maria Manuel Clementino (CMUC, Univ. Coimbra) | The lax comma category Cat//X | 2023-04-26 |