7-12 August 2006, XIII Simposio Latinoamericano de Logica Matematica (SLALM), Oaxaca, Mexico

On behalf of the Organizing Committee of the "XIII Simposio Latinoamericano de Logica Matematica (SLALM)" (XIII Latin American Symposium on Mathematical Logic) I would like to announce you that the submission of papers is open.

The XIII SLALM will take place in the beautiful city of OAXACA, MEXICO, from August 7th to August 12th. Prior to the conference the "Escuela Latinoamericana de Logica Matematica" will be held, giving four introductory courses.

The conference will include parallel sessions on the following areas:
-SET THEORY
-SET THEORETICAL TOPOLOGY
-MODEL THEORY
-PHILOSOPHICAL LOGIC AND FOUNDATIONS
-PROOF THEORY
-NON-CLASSICAL LOGICS
-RECURSION THEORY
-TYPE THEORY

The deadline for submission of abstracts is APRIL 30th 2006. For details on submission please refer to the web page.

For more information, see http://slalm.izt.uam.mx/ with a mirror at: http://www.matematicas.unam.mx/slalm/.