Seminario Mundo/Lógica/Modelos (charlas este mes)

[Andrés Villaveces]

Buenos días,

Hace un par de semanas retomamos nuestro Seminario Mundo/Lógica/Modelos en la Universidad Nacional (Salón 404-204, martes a las 14:00) en Bogotá.

Ya hubo dos charlas (una mía la semana pasada, otra el martes pasado, de Julián Cano, estudiante de doctorado de la Universidad de los Andes).

Habrá cuatro charlas más, que creo que pueden ser muy interesantes:

• Nicolás Nájar hablará el martes 10 de junio sobre dependencia en AECs (su trabajo actual de doctorado).
• Gustavo Cipagauta hablará el martes 17 de junio sobre lógica de procesos estocásticos y lógica continua, y su combinación en problemas de cuántica (su trabajo actual de doctorado).
• Edwin Celis hablará el martes 24 de junio sobre Compresión de Información en Aprendizaje de Máquinas y su conexión con teoría de modelos (estabilidad) - parte de su proyecto de doctorado en construcción.
• Y para cerrar nuestro seminario, Moshe Kamensky (Universidad Ben Gurion, Beersheva) dará la charla Towards model theory for homotopical structures, el martes 1° de julio. La charla de Kamensky intentará acercar temas de homotopía con temas de teoría de modelos, y usa una variante de ultraproductos sensible a homotopía coherente, que le ha permitido resolver recientemente conjeturas que existían desde hacía buen tiempo en homotopía estable.

Feliz mes de junio, que pinta lleno de actividad realmente interesante en lógica.

Andrés Villaveces

avillavecesn.net

Director

Departamento de Matemáticas
Universidad Nacional de Colombia (Sede Bogotá)

Bogotá 111321 - Colombia

+57 601 3165207