6-10 Aug 2012
Cordoba, Argentina
Call for abstracts and posters Logic and Computability Session IV Latin American Congress of Mathematicians (IV CLAM) FAMAF, Universidad Nacional de Crdoba, 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 Crdoba Alf Onshuus Nio, Departamento de Matemticas Facultad de Ciencias Universidad de los Andes Denis Hirschfeldt, Department of Mathematics University of Chicago U.S.A. Session coordinators Vernica Becher, Universidad de Buenos Aires Carlos Di Prisco, Instituto Venezolano de Investigaciones Cientficas Antonio Montalbn, 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@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.