[FOM] submission deadline in two days-Logic and Computability Session- Latin American Congress of Mathematicians- Cordoba, Argentina

[Veronica Becher]

Call for abstracts

Logic and Computability Session
IV Latin American Congress of Mathematicians (IV CLAM)
FAMAF, Universidad Nacional de Córdoba,
August 6 to 10, 2012.


Submission deadline			April 13,  2012.
Notification of acceptance		May 24,  2012.


Logic and Computability Session covers model theory, set theory,
computability and other related topics including proof theory, randomness,
reverse mathematics, and classical and non classical logics.

http://www.famaf.unc.edu.ar/clam2012/pages/logica_computabilidad.html

Invited talks

* 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 USA.


Session coordinators

Verónica Becher, Universidad de Buenos Aires
Carlos Di Prisco, Instituto Venezolano de Investigaciones Científicas
Antonio Montalbán, University of Chicago

This session has been included as part of the celebration of the  Alan
Turing Year 2012, centenary of the life and work of Alan Turing

http://www.mathcomp.leeds.ac.uk/turing2012/


Submissions

Authors are invited to submit a an abstract by e-mail
		trabajos.ivclam at gmail.com
indicating in the subject "Logic and Computability Session".

The document must be prepared in Latex according to the instructions in
http://www.famaf.unc.edu.ar/clam2012/pages/trabajos

Accepted abstracts will be presented in the session.
-----------------