Speaker | Title | Date |
---|---|---|
Luca Reggio (University College London, UK) | Polyadic sets and unnatural isomorphisms | 2023-03-14 |
Joshua Wrigley (Università degli Studi dell'Insubria, Como, Italy) | When are there enough isomorphisms? Representing theories by groupoids of models | 2023-02-23 |
Dirk Hofmann (CIDMA, Univ. Aveiro) | Some aspects of enriched completely distributive lattices | 2023-01-24 |
Célia Borlido (CMUC, Univ. Coimbra) | Pervin spaces and Frith frames: bitopological aspects and completion | 2023-01-24 |
Maria Manuel Clementino (CMUC, Univ. Coimbra) | On lax comma categories of ordered sets | 2022-12-19 |
Fernando Lucatelli Nunes (Utrecht Univ. & CMUC) | Descent for split fibrations | 2022-12-19 |
Dominique Perrin (Univ. Gustave-Eiffel, Paris-Est, France) | The palindromization map | 2022-12-13 |
Alfredo Costa (CMUC, Univ. Coimbra) | Profinite codes | 2022-11-15 |
Graham Manuell (CMUC, Univ. Coimbra) | Taking verifiability seriously | 2022-11-15 |
Maria Manuel Clementino (CMUC, Univ. Coimbra) | On split extensions of preordered groups | 2022-10-18 |