Programa

 

Conferencias plenarias

Resúmenes

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

Resúmenes

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

Resumen

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.

Universidad de Concepción Barrio Universitario s/n

Casilla 160 C

Concepción, Chile