Carlos Areces will give an invited talk at the Logic and Computability Session of the IV Congreso Latinoamericano de Matemática (CLAM) FAMAF, Universidad Nacional de Córdoba, 6-10 August 2012. The workshop is organized by Verónica Becher, Carlos Di Prisco and Antonio Montalbán. http://www.famaf.unc.edu.ar/clam2012/Carlos Areces will give an invited talk at the Logic and Computability Session of the IV Congreso Latinoamericano de Matemática (CLAM) FAMAF, Universidad Nacional de Córdoba, 6-10 August 2012. The workshop is organized by Verónica Becher, Carlos Di Prisco and Antonio Montalbán. http://www.famaf.unc.edu.ar/clam2012/Carlos Areces will give an invited talk at the Logic and Computability Session of the IV Congreso Latinoamericano de Matemática (CLAM) FAMAF, Universidad Nacional de Córdoba, 6-10 August 2012. The workshop is organized by Verónica Becher, Carlos Di Prisco and Antonio Montalbán. http://www.famaf.unc.edu.ar/clam2012/