Del miércoles 27 al viernes 29 de mayo de 2026
Auditorio “Alfonso Nápoles Gándara”, Instituto de Matemáticas
UNAM, Ciudad de México
Registro en la entrada al auditorio. Para dudas y/o comentarios: logiconmx@gmail.com
Call for abstracts
Si estás interesadx en presentar tu trabajo, puedes enviar tu abstract e información a través del siguiente formulario: https://forms.gle/mQ6iRbv6qnc6vPQ17.
Alrededor de 8 a 12 propuestas serán seleccionadas, con posibilidad de apoyo de viaje y hospedaje sujeto a disponibilidad de fondos.
Fecha límite: 27 de febrero de 2026.
Para ayudarlos a asignar fondos de manera adecuada, se recomienda enviar solicitudes al inicio de la semana del 23 de febrero.
Invitadxs
Dr. Atocha Aliseda Llera, IFF UNAM.
Dr. Cristian Alejandro Gutiérrez Ramírez, FFYL UNAM.
Dr. David Gonzalez, Notre Dame.
Dr. David José Fernández Bretón, ESFM IPN.
Dr. Francisco Marmolejo, IM-CU UNAM.
M. Henry Klatt, GWU.
Dr. Jorge Antonio Cruz Chapital, UToronto.
Dr. Leonardo Nagami Coregliano, UChicago.
Dr. Mariana Vicaria, UChicago.
Dr. Omar Antolín Camarena, IM-CU UNAM.
Dr. Rachael Alvir, UWaterloo.
Programa
Miercoles 27
| 10:00 Dr. Jorge Antonio Cruz Chapital (50 min) |
| 11:00 Dr. David José Fernández Bretón (40 min) |
| 11:50 Sesión del call for abstracts I (40 min) |
| 12:40 Sesión del call for abstracts II (40 min) |
| 13:20 Lunch |
| 14:30 Dr. Atocha Aliseda Llera (50 min) |
| 15:30 Ponencia Invitada (40 min) |
| 16:20 Sesión del call for abstracts III (40 min) |
| 17:10 Ponencia Invitada (40 min) |
Jueves 28
| 10:00 Dr. Francisco Marmolejo (50 min) |
| 11:00 Conversatorio: Enseñanza de la Lógica. Modera: Dr. Cristian Alejandro Gutiérrez Ramírez (1hr 20min) |
| 12:40 Sesión del call for abstracts I (40 min) |
| 13:20 Lunch |
| 14:30 Tutorial: Dr. Olga Medrano Martín del Campo (50 min) |
| 15:30 Ponencia Invitada (40 min) |
| 16:20 Sesión del call for abstracts II (40 min) |
| 17:10 Tutorial (50 min) |
Viernes 29
| 10:00 Dr. David Gonzalez (English, 50 min) |
| 11:00 Dr. Rachael Alvir (Zoom, English, 40 min) |
| 11:50 Sesión del call for abstracts I (40 min) |
| 12:40 Sesión del call for abstracts II (40 min) |
| 13:20 Lunch |
| 14:30 Plenaria (50 min) |
| 15:30 Henry Klatt (English, 40 min) |
| 16:20 Sesión del call for abstracts III (40 min) |
| 17:10 Tutorial (50 min) |
Abstracts
Miercoles 27
11:00-10:40
Dr. David José Fernández Bretón, ESFM IPN.
“¿Qué podemos demostrar?, y ¿Qué tan grande es el infinito? Una y la misma pregunta…”
Entrentre las varias ramas de la lógica y la teoría de conjuntos, se encuentran dos que destacaremos: por un lado, el estudio acerca de aquello que es demostrable por medio de axiomas dados (como continuación de la línea de pensamiento iniciada por Hilbert e impulsada por Gödel); por otro, el estudio formal acerca de las propiedades combinatorias del infinito (descendiente directo de las indagaciones de Cantor de finales del siglo XIX). Un fenómeno muy interesante es cómo estos dos aspectos se encuentran estrechamente entrelazados: en varios casos se ha detectado que el conjunto de enunciados demostrables desde ciertos axiomas es, en un sentido técnico fuerte, más grande entre más grandes sean los tamaños del infinito que postulamos que existen. En esta plática procuraremos proporcionar algunos ejemplos históricos de este fenómeno, tanto en los niveles “bajos” de infinitud (resultados de Gentzen, Paris–Kirby, etc.) como también en los niveles más “altos” (cardinales fuertemente inaccesibles, medibles, etc.).
14:30-15:20
Dr. Atocha Aliseda Llera, IFF UNAM.
“Hacia una IA Neurosimbólica”
En esta charla presentaré prmero dos paradigmas de la IA. El primero de ellos — la IA simbólica – tiene a la lógica matemática como herramienta por excelencia. El segundo paradigma cuenta con una arquitectura de red (neuronal) y le subyacen métodos estocásticos. Si bien estos últimos han sido muy exitosos en algunos dominios, no cuentan con métodos seguros de verificación formal. ¿Es deseable usar ambos métodos? Discutiré la pertinencia de abrir la puerta a modelos híbridos en donde tanto la especificación formal como los procesos escolásticos tienen lugar.
Viernes 29
10:00-10:50
Dr. David Gonzalez, Notre Dame.
“A Scott Analytic Perspective on Vaught’s Conjecture”
Robert Vaught conjectured that the number of countable models of any first-order theory must be either countable or continuum, but never in between. Despite all the work that has gone into this conjecture over the past sixty years, it remains open. It is one of the most well-known, long-standing open questions in mathematical logic. An interesting feature of the conjecture is that it is unclear where in logic a resolution may come from. Significant work has been produced from perspectives as varied as model theory, descriptive set theory, and computability theory. The goal of this talk is to discuss recent progress on Vaught’s conjecture and related problems coming from the field of Scott analysis. A field sitting at the intersection of descriptive set theory and computability theory, Scott analysis, has roots in the 1960s but has seen significant advances in recent years. This has allowed for promising applications to independently interesting problems like Vaught’s conjecture. The talk will begin by providing the necessary background in Scott analysis and Vaught’s conjecture before highlighting a few recent advances. This talk features joint work of the speaker with various authors, including Montalban, Rosseger, Turetsky, and Harrison-Trainor.
Becas de viaje y hospedaje
– ASL
Estamos orgullosxs de ser patrocinadxs por la Asociación de Lógica Simbólica (ASL). Gracias a esto, estudiantes que necesiten apoyo para asistir a la Logicón pueden aplicar para apoyo de viaje por medio de esta institución (sujeto a disponibilidad y limitaciones).
Requisitos:
- Ser estudiante de posgrado.
- Ser miembro de la ASL. (Si no eres miembro pero te gustaría registrarte, puedes encontrar más información en: https://aslonline.org/membership/individual-membership/)
- Breve carta en inglés incluyendo la siguiente información:
- Nombre completo.
- Institución.
- Nombre completo de tu asesor(a).
- Un párrafo describiendo tus estudios y trabajo en lógica.
- Un párrafo indicando porqué es importante que asistas al evento.
- Gastos estimados.
- Ciudadanía.
- Breve carta de recomendación en inglés de tu asesor(a).
Para más información sobre cómo aplicar: https://aslonline.org/student-travel-awards/.
Fecha límite para solicitar apoyo: 27 de febrero de 2026.
Información Local
Ubicación
El Instituto de Matemáticas de la UNAM está ubicado en Ciudad Universitaria, entre el Circuito Exterior y el Circuito de Investigación Científica a aproximadamente 10 minutos caminando desde Metro Universidad.
Cómo llegar
- Desde la Terminal de Autobuses del Norte: Saliendo por la puerta principal se encuentra la entrada a la estación Autobuses del Norte de la línea amarilla (línea 5). Desde ahí, tomando dirección Pantitlán, se puede transbordar en la estación La Raza a la línea verde (línea 3) y llegar a las estaciones Copilco o Universidad.
- Desde metro Universidad: La mejor opción
Rutas de Pumabús (transporte interno de Ciudad Universitaria) https://www.dgsgm.unam.mx/pumabus.html
Mapa del metro de la Ciudad de México
Mapa del metrobús de la Ciudad de México
Comida
Ubicada al sur del Instituto, la Facultad de Ciencias de la UNAM cuenta con un comedor y dos áreas de comida.
Hoteles
- Hotel Gillow: Ubicado en el Centro Historico de la ciudad, a una hora por Metro.
- City Express Plus by Marriott Patio Universidad: Ubicado en el centro de Coyoacán, a 30 minutos por Metro.
- Fiesta Inn Periférico Sur: Ubicado en el sur de Coyoacán, a 15 minutos por auto.
Otras opciones locales cerca de la UNAM son:
Logicón 