[FOM] Logic and Computability Session, IV Latin American Congress of Mathematicians (IV CLAM)
Veronica Becher
vbecher at dc.uba.ar
Sun Mar 11 22:55:55 EDT 2012
Call for abstracts and posters
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 27, 2012.
Notification of acceptance June, 22 2012.
The Latin American Congress of Mathematicians aims at presenting some of the latest developments in mathematics and their applications and will include plenary lectures, invited talks distributed in 17 thematic sessions, short courses, posters and informal discussions.
http://www.famaf.unc.edu.ar/clam2012/
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 U.S.A.
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 (typically 1-2 pages) or a poster in pdf format 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 and posters will be presented in the session.
-----------------
More information about the FOM
mailing list