Plenary speakers
- Combinatorial properties of ideals. Carlos di Prisco (Universidad de los Andes, Colombia) abstract
- From Linear Logic to Quantum Control. Alejandro Díaz-Caro (UNQ & UBA, Argentina) abstract
- Charles Sanders Peirce and the Horizons of Logic for the 20th Century. Itala D'Ottaviano (Universidade de Campinas, Brazil) abstract
- Implicative algebras: a survey. Alexandre Miquel (Universidad de la República, Uruguay) abstract
- Fields and NTP2. Samaria Montenegro (Universidad de Costa Rica, Costa Rica) abstract
- Proof techniques for behavioural relations: from enhanced coinduction to enhanced induction. Davide Sangiorgi (Universita' di Bologna, Italy) abstract
- Quantum computing from a logician’s point of view. Peter Selinger (Dalhousie University, Canada) abstract
- Clones as monoids. Pierre-Louis Curien (IRIF and Picube team, CNRS, Université Paris Cité and Inria) abstract
Tutorials
| Set theory |
Infinite structural Ramsey theory and logic
Natasha Dobrinen (University of Notre Dame, USA) abstract |
| Model theory |
A tutorial on the tame world of groups and field
Nadja Hempel (Universität Düsseldorf, Germany) abstract |
| Philosophy |
How to revise logic from a neopragmatist point of view
Marcos Silva (Universidade Federal de Pernambuco, Brazil) abstract |
Schedule
Plenary activities. Plenary talks and tutorials will take place in the conference room (Salón de Actos "Ing. Eladio Dieste") situated on the ground floor of the "Edificio Polifuncional José Luis Massera" (see the Venue's page for instructions on how to access it).
Registration. On monday, a registration desk will be situated at the entrance of the conference room.