Conferencias plenarias
Pablo Barceló, Institute for Mathematical and Computational Engineering, Pontificia Universidad Católica de Chile, Chile
Characterizing Classes of Conjunctive Queries that can be Efficiently Evaluated
Manuela Busaniche, Instituto de Matemática Aplicada del Litoral, CONICET-UNL, Argentina
Algebraic semantics of substructural logics: constructions of residuated lattices
Zoé Chatzidakis, CNRS - École Normale Supérieure, Francia
Notions of difference closure of difference fields
Michael Hrusak, Universidad Nacional Autónoma de México, México
Ultrapowers in topology
Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brasil
Sequentialising nested systems
Cristóbal Rojas, Universidad Andrés Bello, Chile
Computability and Complexity in the Analysis of Dynamical Systems
Henry Towsner, University of Pennsylvania, EEUU
Interpreting Infinity within Finite Mathematics
Mini-cursos
Santiago Figueira, Universidad de Buenos Aires, Argentina
A Computer-theoretical outlook on foundations of quantum information
Jaroslav Nešetřil, Charles University, República Checa
Ramsey in context
Carles Noguera, Institute of Information Theory and Automation, República Checa
An introduction to the general algebraic study of non-classical logics
Héctor Pastén, Pontificia Universidad Católica de Chile, Chile
Hilbert's tenth problem beyond Z
Conferencia de divulgación
Walter Carnielli, UNICAMP, Brasil
Sobre Lógicas Más Livianas: Suprimiendo el Peso de la Explosión, y el Programa de la Paraconsistencia
Sesiones Paralelas
Teoría de Modelos
Teoría de Conjuntos
Computabilidad y Ciencias de la Computación
Filosofía y Lógicas No-clásicas.