Speaker | Title | Date |
---|---|---|
Amílcar Sernadas (Instituto Superior Técnico, Lisboa) | Combining logic systems: Why, how, what for? | 2004-02-17 |
Luís Cruz-Filipe (Centro de Lógica e Computação, IST, Lisboa) |
A New Look at the Fundamental Theorem of Algebra | 2004-01-20 |
Luís Sequeira (Universidade de Lisboa) | Dentro e fora do filtro das variedades modulares | 2003-11-18 |
Diana Rodelo (CMUC/Universidade do Algarve) | Categorias de Moore | 2003-10-21 |
Jirí Adámek (University of Braunschweig) | Terminal Coalgebras as Sets or Classes | 2003-10-13 |
David Holgate (University of Stellenbosch, South Africa) | Categorical approaches to connectedness | 2003-09-23 |
George Janelidze (Georgian Academy of Sciencies, Tbilisi, Georgia) | New Galois structures from logic | 2003-09-23 |
Carlos Caleiro (IST, Lisbon) | Cryptofibring | 2003-06-17 |
Alfredo Costa | Relações entre a dinâmica de operadores implícitos e a estrutura de grupos finitos | 2003-04-23 |
George Janelidze (Georgian Academy of Sciencies, Tbilisi, Georgia) | Boolean Galois Theories | 2003-04-07 |