Speaker | Title | Date |
---|---|---|
Jiří Adámek (Tech. Univ. Braunschweig, Germany) | Colimit-dense subcategories | 2019-04-23 |
Nelson Martins Ferreira (CDRSP, ESTG, IP Leiria) | Crossed semimodules of cancellative conjugation monoids | 2019-04-23 |
Cristina Sernadas (CMAFcIO, Univ. Lisboa) | Decidability of first-order theories | 2019-03-26 |
Andrea Montoli (Univ. degli Studi di Milano, Italy) | On the classification of Schreier extensions of monoids with non-abelian kernel | 2019-02-12 |
Lurdes Sousa (CMUC and IP Viseu) | Order-enriched solid functors | 2019-02-12 |
Pedro Resende (CAMGSD, Univ. Lisboa) | From quantum to quantales and beyond | 2019-01-22 |
Jorge Picado (CMUC, Univ. Coimbra) | Axiom \(T_D\) and the Simmons sublocale theorem | 2019-01-22 |
Fernando Lucatelli Nunes (CMUC, Univ. Coimbra) | Functorial semantics and descent | 2018-12-18 |
Willian Ribeiro (PhD Student, CMUC) | Compactly generated (T,V)-spaces | 2018-12-18 |
Alfredo Costa (CMUC, Univ. Coimbra) | On the linear nature of pseudowords | 2018-11-28 |