The 15th Latin American Symposium on Mathematical Logic,SLALM2012, will be held in Bogota, Colombia, during the week of June 4 to 8, 2012. The first SLALM (Simposio Latinoamericano de Lógica Matemática) was held in 1970 in Santiago de Chile and subsequent meetings have taken place in Brazil, Chile, Colombia, Venezuela, Argentina, Costa Rica,and Mexico. In addition to plenary talks, this meeting will include four special sessions on Algebraic and Non-classical logics, Model Theory, Recursion and Computer Science Logic, and Set Theory. Four tutorial courses are planned during the week previous to the meeting.
Invited speakers include:
* Deirdre Haskell (McMasterUniversity, Canada)
* Denis Hirschfeldt (Chicago, USA)
* Ulrich Kohlenbach(Darmstad, Germany)
* Benedikt Löwe (ILLC,Netherlands)
* Antonio Montalbán (Chicago, USA)
* Justin Moore (Cornell,USA)
* Daniele Mundici (Florence,Italy)
* Alf Onshuus (U. de losAndes, Colombia)
* Valeria de Paiva (PaloAlto Research, USA)
* Tom Scanlon (Berkeley,USA)
* Simon Thomas (Rutgers,USA)
* Jouko Väänänen (Helsinki,Finland)
Contributions are invited in all the areas of mathematical logic.
Abstracts of talks must be submitted, indicating the session closest
totheir topic, by March 4th, 2012, to the e-mail address:
slalm@uniandes.edu.co
The SLALM2012 is sponsored by the Association for SymbolicLogic (ASL),
the Universidad de los Andes, the Universidad Nacional de Colombia,
and Colciencias.
The ASL offers modest travel support to graduate studentmembers
interested in attending the symposium. Applications and
recommendations should be received at the latest by March 4th, 2012.
Further information can befound at
http://www.aslonline.org/studenttravelawards.html.
PROGRAM COMMITTEE: Xavier Caicedo (U. de los Andes,Colombia), Walter
Carnielli (U. de Campinas, Brasil), Roberto Cignoli (U. deBuenos
Aires, Argentina), Carlos Di Prisco (IVIC, Venezuela), Rod Downey
(Victoria University, New Zealand), Angus Macintyre (Queen Mary
College,England), Menachem Magidor (U. of Jerusalem, Israel),
Francisco Miraglia (U. deSao Paulo, Brasil), and Charles Steinhorn
(Vassar College, USA).
ORGANIZING COMMITTE: Alexander Berenstein, Xavier Caicedo,Luis Jaime
Corredor, Carlos Di Prisco, Ramiro de la Vega, José Iovino, John
Goodrick, Alf Onshuus, Andrés Villaveces, and Fernando Zalamea.
CONTACT INFORMATION: For additional information please visit the
meeting's website:
http://matematicas.uniandes.edu.co/eventos/SLALM2012/
or write to the the contact address: slalm@uniandes.edu.co
