UN-Encuentro 70 - ¡ya casi! - Hrushovski en la UNAL

[Andres Villaveces Nino]

Buenas tardes, estimados/as colegas y estudiantes.

En medio de la situación trágica, consecuencia del terremoto del lunes pasado, nos solidarizamos con la gente del Occidente del país que está viviendo situaciones muy complejas en este momento, y apoyamos varias iniciativas de organismos de rescate y ayuda, necesarias ahora y en los meses futuros.

Quiero hoy reiterar nuestra invitación (enmarcada en los 70 años del Departamento de Matemáticas de la Universidad Nacional de Colombia-Sede Bogotá) al UN-Encuentro 70. Los UN-Encuentros empezaron hace dos décadas, sucedían más o menos cada dos años, y se interrumpieron durante la pandemia. Esta vez decidimos dar un giro al UN-Encuentro y, aprovechando su marco inicial, armar un evento matemático que cubra muchas áreas en conferencias dirigidas a público matemático general. Esta vez tenemos siete magníficos invitados internacionales (dos egresados nuestros [Miguel Moreno, U-Tampere, Finlandia y Daniel López, candidato a doctorado en Matemáticas en Johns Hopkins], otro, Manuel Rivera, profesor en Purdue en Estados Unidos, visitando durante su sabático el Departamento de Matemáticas de la Nacional, tres profesores de Oxford [Ehud Hrushovski, Xenia de la Ossa, Philip Candelas], una de La Plata en Argentina, Gisela Tartaglia), y ocho profesores recientemente contratados del Departamento, excelentes.

Cubrimos muchas áreas de las matemáticas (Topología Algebraica, Combinatoria, Teoría de Modelos, Conexiones de Lógica con Inteligencia Artificial, Conexiones de Geometría con Inteligencia Artificial, Geometría Algebraica, Geometría Diferencial, Geometría Aritmética, Probabilidad...). Es un grupo de lujo el que va a dar charlas para toda la comunidad matemática (no vamos a tener sesiones paralelas, todo el mundo hablará para todo el mundo).

En lo más específico de nuestro Grupo de Lógica en Bogotá, es realmente una maravilla tener como invitado del UN-Encuentro 70 a Ehud Hrushovski. Hrushovski no necesita presentación en este grupo, obviamente; aún así, me parece importante señalar que es algo muy importante para nuestra comunidad lógica, y para el Departamento de Matemáticas de la Nacional, tenerlo como uno de los conferencistas del UN-Encuentro 70.

Nos dará la charla Approximate subgroups and the search for the model theoretic Galois group.

Otra conferencia (¡y minicurso!) muy relevante a nuestro grupo de lógica es el que dará Miguel Moreno (egresado de la Nacional en 2010, con Maestría y Doctorado en Bonn y en Helsinki en la intersección entre teoría de conjuntos y teoría de modelos). Su conferencia será Logic meets LLMs: Attention has a Logic. También dará el minicurso De transformers a lógica: Probando resultados de expresividad. Todos los detalles están en la página del evento.

IMPORTANTE: hay que inscribirse al UN-Encuentro 70, en la página.

Esta es la página del evento: https://ciencias.bogota.unal.edu.co/eventos/un-encuentro-70-matematicas/

Agradezco su atención a este mensaje, y... ¡nos vemos la semana entrante en el UN-Encuentro 70!

Andrés Villaveces Niño
Director
Departamento de Matemáticas
Universidad Nacional de Colombia
111321 - Bogotá
+57 601 316-5207