Program

Sessions

Session Name Session chairs
Set theory Andrés Caicedo, Carlos Martinez
Model theory John Goodrick, Itaï Ben Yaacov
Logic in CS and computability Octavio Malherbe, Alberto Pardo
Non-classical logics João Marcos, Manuela Busaniche María Martínez-Ordaz
Philosophical logic Eduardo Alejandro Barrio, Elaine Pimentel

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)

TUTORIALS

Topic
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)

Schedule

Financial Support:

Assicuatuib for Symboli LogicCentro de MatemáticaCentro Universitario Regional Este

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