LOGIC AND COMPUTABILITY

Model theory, set theory, computability theory and topics related to logic as, modal logic, proof theory, reverse mathematics and algorithmic randomness.

This session has been included as part of the celebrations of the Alan Turing Year 2012, the centenary of the life and Work of Alan Turing (Logo).

Invited speakers:

-Carlos Areces

FaMAF, Universidad Nacional de Córdoba

- Alf Onshuus Niño

Departamento de Matemáticas Facultad de Ciencias Universidad de los Andes

- Denis Hirschfeldt

Department of Mathematics University of Chicago U.S.A.