• 15th Latin American Symposium on Mathematical Logic
    Bogotá, Colombia, June 4-8, 2012
    Special Session in Recursion and Computer Science Logic
    Main • Invited speakers • Abstracts • Contributed Talks • Tutorials
    History • Organizers • Registration • Lodging

    Important: Transportation from the airport and Schedule for the meeting (PDF)

    In addition: Satellite Workshop in Dependent Theories
    For more information: slalm (at) uniandes (dot) edu (dot) co


  • Speakers
    • Uri Andrews (University of Wisconsin, USA)
    • Edward Hermann Haeusler (Pontifícia Universidade Catolica do Rio de Janeiro, Brazil)
    • Juha Kontinen (University of Helsinki, Finland)
    • Carlos Ortiz (Arcadia University, USA)
    • Ricardo Oscar Rodríguez (Universidad de Buenos Aires, Argentina)
    Organizers
    • Xavier Caicedo (U. de los Andes, Colombia)
    • Ruy J. Guerra B. de Queiroz (U. Pernambuco, Brazil)