Program

 

Plenary Talks

Abstracts

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

Abstracts

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

Abstract

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.

Universidad de Concepción Barrio Universitario s/n

Casilla 160 C

Concepción, Chile