Simposio Latinoamericano de Lógica Matemática

Sesiones temáticas

Teoría de Modelos

Teoría de Conjuntos

Computabilidad

Teoría de Prueba

Lógica y Ciencias de la Computación

Filosofía de la Lógica/Lógica Filosófica/Lógicas no Clásicas

Ponentes & Tutorialistas

2017
XVII Simposio Latinoamericano de Lógica Matemática

5 días de ponencias y talleres

Los días 26 y 27 de junio estarán dedicados a los tutoriales y del 28 al 30 de junio se realizarán las pláticas plenarias y las sesiones por área.

Sede 2017

Benemérita Universidad Autónoma de Puebla (BUAP) como sede para el siguiente Simposio Latinoamericano de Lógica Matemática 2017.

Ponentes internacionales

Tutoriales y pláticas plenarias a cargo de ponentes de Argentina, Brasil, Colombia, Estados Unidos, Francia y Suiza.

Los invitamos a ser parte de este importante evento.

Oradores Plenarios

Tutoriales

Horarios SLALM 2017

Horario general

Teoría de Conjuntos

Lógica y Ciencias de la Computación

Teoría de Modelos

Filosofía de la Lógica/Lógica Filosófica/Lógicas no Clásicas

Registro

El registro al SLALM no tiene costo, unicamente debe llenar el siguiente formulario:

Lugar sede

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

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

Sede SLALM2017
Envio de resúmenes En EasyChair

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

Se aceptarán trabajos en cualquiera de las seis sesiones temáticas del simposio. Todos los trabajos deben cumplir las siguientes pautas:

  • Los trabajos deben ser originales.
  • Debe respetarse el formato dado por la siguiente plantilla de LaTeX (PLANTILLA)
  • Los resúmenes no deben superar las 2 páginas.

17 de marzo de 2017

(Nueva) Fecha límite para envío de resúmenes

7 de abril de 2017

(Nueva) Notificación

A partir de mayo de 2016 el Simposio Latinoamericano de Lógica Matemática se convirtió en una reunión oficial de la Association for Symbolic Logic. Por lo tanto hay becas de la ASL para estudiantes, para más información visita: www.aslonline.org

Comités

Científico

Walter Carnielli (Presidente)

Universidade Estadual de Campinas (Brasil)

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 (Estados Unidos)

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 (Estados Unidos)

antoniomath.berkeley.edu

Raymundo Morado

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

moradounam.mx

Mauricio Osorio

Universidad de las Américas Puebla (México)

osoriomaurigmail.com

Stevo Todorcevic

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

stevomath.toronto.edu

Boris Zilber

University of Oxford (Reino Unido)

Boris.Zilbermaths.ox.ac.uk

Local

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

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 (Ciudad de México)

rafael.rojas.bciencias.unam.mx

Favio E. Miranda Perea

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

favioempgmail.com

David Meza Alcantara

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

dmezaalcantaragmail.com

Luis Estrada González

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

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 (Ciudad de México)

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

Historia y origen

El SLALM (Simposio Latinoamericano de Lógica Matemática) fue concebido a finales de los años 1960 por Abraham Robinson, quien en ese momento fue Presidente de la Asociación de Lógica Simbólica (ASL).

El SLALM reúne a la comunidad de investigadores en lógica a lo largo de América Latina y se nutre de importantes participaciones de investigadores de todo el mundo. Ha crecido gracias al apoyo del ASL, así como a las instituciones locales que acogen el evento.

Se ha realizado en diversas ciudades alrededor de América Latina:

Sede

La Benemérita Universidad Autónoma de Puebla (BUAP) será la sede para el siguiente Simposio Latinoamericano de Lógica Matemática en 2017

Benemérita Universidad Autónoma de Puebla
La Benemérita Universidad Autónoma de Puebla, cuyas raíces se remontan al siglo XVI, constituye un gran pilar de la educación superior y la investigación científica en la región, y ocupa un destacado sitio entre las universidades públicas del país, gracias al esfuerzo conjunto de todos los miembros de la institución.
Para conocer más sobre nuestra universidad por favor visite: buap.mx
Ciudad de Puebla

Puebla de los Ángeles, Ciudad Patrimonio de la Humanidad, un auténtico museo de la esencia misma de México. Aquí vistieron las mujeres por primera vez el traje de la china poblana, hoy símbolo nacional. Aquí vivió Catalina de San Juan. Aquí se cocinaron el mole poblano, los chiles en nogada y los dulces, que son estandarte de la gastronomía mexicana. Y aquí se libró la batalla del 5 de mayo de 1862.

Al amparo de tres volcanes, entre la mítica Tenochtitlán -hoy Ciudad de México- y Veracruz, esta ciudad novohispana floreció durante siglos. De su riqueza hablan las hermosas fachadas recubiertas de Talavera, sus templos, sus conventos, su archivo o su magnífica Biblioteca Palafoxiana. Hoy Puebla continúa siendo un centro cultural de referencia en México.

El Zócalo, presidido por la imponente Catedral, ha sido siempre el corazón de esta tranquila ciudad. Y los cafés y restaurantes bajo los portales, el lugar de reunión. Desde aquí el visitante pasea y descubre casas con muñecos y alfeñiques, extraordinarios trabajos de Talavera, capillas barrocas cubiertas de oro, un bohemio Barrio de los Artistas, una calle llena de Dulces y las cocinas más inspiradas de México. Porque Puebla se camina, se admira y se saborea.

Aquí puedes encontrar la guía turística Descubre Puebla o puedes visitar puebla.travel para mayor información turística.