PLENARY SPEAKERS

  • Carlos di Prisco (Universidad de los Andes, Colombia)
  • Alejandro Díaz-Caro (Universidad Nacional de Quilmes & Universidad de Buenos Aires, Argentina)
  • Itala d'Ottaviano (Universidade de Campinas, Brazil)
  • Alexandre Miquel (Universidad de la República, Uruguay)
  • Samaria Montenegro (Universidad de Costa Rica, Costa Rica)
  • Davide Sangiorgi (Universita' di Bologna, Italy)
  • Peter Selinger (Dalhousie University, Canada)
  • Pierre-Louis Curien

TUTORIALS

Set theory Natasha Dobrinen (University of Notre Dame, USA)
Model theory Nadja Hempel (Universität Düsseldorf, Germany)
Philosophy Marcos Silva (Universidade Federal de Pernambuco, Brazil)

SESSIONS

  • Set Theory (Chairs: Andrés Caicedo, Carlos Martínez)
    • Alejandro Poveda (Harvard University, USA)
  • Model Theory (Chairs: John Goddrick, Omar León Sanchez)
    • Pablo Cubides Kovacsics (Universidad de los Andes, Colombia)
    • Léo Jimenez (Ohio State University, USA)
    • Scott Mutchnik (University of Illinois, USA)
    • Mariana Vicaría (University of California, USA)
    • Sebastian Eterović (University of Leeds, UK)
  • Logic in CS and Computability (Chairs: Octavio Malherbe, Alberto Pardo)
    • Jonas Frey (Carnegie Mellon University, USA)
    • Pablo Barenbaum (Universidad de Buenos Aires, Argentina)
  • Non-classical logics (Chairs: João Marcos, Manuela Busaniche)
    • Aldo Figallo-Orellano (Universidade de São Paulo, Brazil)
    • Elaine Pimentel (University College London, UK)
    • Noemi Lubomirsky (Universidad Nacional de La Plata, Argentina)
    • Umberto Rivieccio (UNED, Spain)
  • Philosophical Logic (Chairs: Eduardo Alejandro Barrio, Elaine Pimentel)
    • Gisele Secco (California State University San Bernardino, USA)
    • Natalia Buacar (Universidad de Buenos Aires, Argentina)
    • Ricardo Oscar Rodriguez (Universidad de Buenos Aires, Argentina)
    • Jonas Becker Arenhart (Universidade Federal de Santa Catalina, Brazil)

Schedule

Financial Support:

Assicuatuib for Symboli LogicUniversidad de la RepublicaFacultad de Ingeniería UdelaRInstituto de Matemática y Estadística - Fing - UdelaRCentro de MatemáticaCentro Universitario Regional EsteComisión Sectorial de Enseñanza

Institutional Support:

Universidad de la RepublicaFacultad de Ingeniería UdelaRInstituto de Matemática y Estadística - Fing - UdelaRInstituto de Computación - Fing - UdelaRComisión Sectorial de EnseñanzaAgencia Nacional de Investigación e InnovacionUniversidad ORT