Latin american symposium on mathematical logic

Topic sessions

Model Theory

Set Theory

Computability

Proof Theory

Logic and Computer Science

Philosophy of Logic/Philosophical Logic/Non-Classical Logics

Speakers & Tutorialists

2017
17th Latin American Symposium on Mathematical Logic

5 days plenary talks and tutorials

The first two days of the meeting will be devoted to tutorials and the other three days to the plenary talks and the topic sessions.

Host 2017

The Benemérita Universidad Autónoma de Puebla (BUAP) will be the host of the next Latin American Symposium of Logic.

International Speakers

Tutorialists and Plenary speakers from Argentina, Brazil, Colombia, United States, France and Switzerland.

We invite you to be part of this important meeting.

Keynote Speakers

Tutorialists

Schedule SLALM 2017

General schedule

Set Theory

Logic and Computer Science

Model Theory

Philosophy of Logic/Philosophical Logic/Non-Classical Logics

Registration

There is no registration fee for SLALM, just please fill the following form.

Venue

Escuela Preparatoria Emiliano Zapata de la
Benemérita Universidad Autónoma de Puebla

Calle 4 Norte 6, Centro Histórico, Centro, 72000 Puebla, Pue.

The venue
Abstract submission in EasyChair

https://easychair.org/conferences/?conf=slalm2017

We welcome submissions on any of the six topic sessions of the symposium. All submissions must abide the following guidelines:

  • Papers must contain original work.
  • It must be respected the format specified by the following LaTeX template (TEMPLATE)
  • Abstracts must not exceed 2 pages.

March 17, 2017

(NEW) Deadline for abstracts submission

April 7, 2017

(NEW) Notification Due

The Simposio Latinoamericano de Lógica Matemática became an official ASL meeting by ASL Council action in May 2016. Then ASL student travel awards are available, for more information visit: www.aslonline.org

Committees

Scientific

Walter Carnielli (Chair)

Universidade Estadual de Campinas (Brazil)

walter.carniellicle.unicamp.br

Verónica Becher

Universidad de Buenos Aires (Argentina)

vbecherdc.uba.ar

Xavier Caicedo

Universidad de los Andes (Colombia)

xcaicedouniandes.edu.co

Natasha Dobrinen

University of Denver (United States)

natasha.dobrinendu.edu

Carlos Di Prisco

Instituto Venezolano de Investigaciones Científicas (Venezuela) y Universidad de los Andes (Colombia)

ca.diuniandes.edu.co

Antonio Montalbán

University of California, Berkeley (United States)

antoniomath.berkeley.edu

Raymundo Morado

Universidad Nacional Autónoma de México (Mexico)

moradounam.mx

Mauricio Osorio

Universidad de las Américas Puebla (Mexico)

osoriomaurigmail.com

Stevo Todorcevic

University of Toronto (Canadá) y Paris 7 (Francia)

stevomath.toronto.edu

Boris Zilber

University of Oxford (United Kingdom)

Boris.Zilbermaths.ox.ac.uk

Local

José Ramón Enrique Arrazola Ramírez (Chair)

FCFM Benemérita Universidad Autónoma de Puebla (Puebla)

arrazolafcfm.buap.mx

Iván Martínez Ruiz

FCFM Benemérita Universidad Autónoma de Puebla (Puebla)

ivanpuegmail.com

Alejandro Ramírez Paramo

ECE Benemérita Universidad Autónoma de Puebla (Puebla)

aparamo.obbisgmail.com

Claudia Zepeda Cortés

FCC Benemérita Universidad Autónoma de Puebla (Puebla)

czepedacgmail.com

Rafael Rojas Barbachano

FC Universidad Nacional Autónoma de México (Mexico City)

rafael.rojas.bciencias.unam.mx

Favio E. Miranda Perea

FC Universidad Nacional Autónoma de México (Mexico City)

favioempgmail.com

David Meza Alcantara

FC Universidad Nacional Autónoma de México (Mexico City)

dmezaalcantaragmail.com

Luis Estrada González

IIF Universidad Nacional Autónoma de México (Mexico City)

loisayaxsegrobgmail.com

Ulises Ariet Ramos García

CCM Universidad Nacional Autónoma de México (Morelos)

arietmatmor.unam.mx

Max Fernández de Castro Tapia

DF Universidad Autónoma Metropolitana (Iztapalapa)

xamf_mxyahoo.com

Matías Alvarado Mentado

DC Centro de Investigación y de Estudios Avanzados (Mexico City)

matiascs.cinvestav.mx

Raúl Monroy Borja

DTIC Instituto Tecnológico y de Estudios Superiores de Monterrey (Estado de México)

raulmitesm.mx

José Raymundo Marcial Romero

FI Universidad Autónoma del estado de México (Toluca)

rmarcialfi.uaemex.mx

history and origin

The SLALM brings together the community of researchers in logic along Latin America and is nourished by important participations of researchers from around the world. It has grown thanks to the support of the ASL, as well as the local institutions that host the event.

It has been held in several countries all over Latin America:

Host

The Benemérita Universidad Autónoma de Puebla (BUAP) will be the host for the next Latin American Symposium of Logic in 2017

Benemérita Universidad Autónoma de Puebla
The Autonomous University of Puebla, whose origins trace back to the XVI century, constitutes a pillar for higher education and scientific research in the region and occupies a prominent place among public universities in the country, due to the concerted effort of all members of the university community.
To know more about our university please visit: buap.mx
Puebla City

Puebla de los Angeles a World Heritage City, an authentic museum of the very essence of Mexico. It is in this city where women dressed for the first time the “china poblana” costume that in modern time is a national symbol. In this city lived Catalina de San Juan. Here the Mole Poblano, chiles en nogada and candies were cooked for the first time and they are banner of the Mexican cuisine and it was here where the battle of 5 de mayo was fought in 1862.

With the protection of tree volcanos and between the mythical Tenochtitlan -today Mexico city- and Veracruz, this “novohispana” city flourished for ages. The wealth of the city can be seen in its beautiful facades covered in Talavera, its temples, convents, its history and in its magnificent Palafoxiana library. Today Puebla remains as a cultural reference center in Mexico.

The Zocalo presided by the stunning Cathedral, has always been the heart of this quiet city and the Coffe shops/bars and restaurants under the portals are the main meeting place. From here the visitor walks and discover houses with dolls and alfeñiques, extraordinary Talavera pieces, baroque chapels covered in gold, a bohemian artists´ quarter, a street full of candies and the most traditional Mexican cuisines. Because in Puebla you walk, admire and savor the city.

Here you can find the touristic guide Discover Puebla or you can visit puebla.travel for more touristic information.