Logic List Mailing Archive

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

Dear Colleague,

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. For more information on the Symposium, Logic School
and invited speakers, please visit our web-site at:

http://slalm.izt.uam.mx

with a mirror at:

http://www.matematicas.unam.mx/slalm

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 our web page.

We look forward to receive your proposals and hope that you will be able
to join us in OAXACA in August 2006.

We would appreciate your help in promoting our conference by forwarding
this e-mail to professors, students and other logicians that might be
interested.

Yours Sincerely,

Dr. Favio E. Miranda-Perea.
Organising Committee XIII SLALM.