Plenary Talks
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-courses
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
On Lighter Logics: Getting Rid of the Burden of Explosion, and the Paraconsistency Program
Parallel sessions
Model Theory
Set Theory
Computability and Computer Science
Philosophy and Non-classical Logics.
