Grupo de Lógica de Bogotá

¡Hoy tenemos sesión inaugural del Seminario de Teoría de Modelos y Geometría! Hablaré de los temas

----- Mensagem encaminhada ----- De: Encontro Teoria das Categorias <encontroc...@ime.usp.br

RIMS Workshop on Set Theory Recent Developments in Axiomatic Set Theory Kyoto University RIMS

Hola, Este viernes 12 de septiembre continuamos nuestro seminario con la charla del estudiante Edwin

Hola, Este viernes 5 de septiembre comienza el seminario Mundo - Lógica - Modelos con la charla del

Favor de compartir entre sus contactos y sus grupos. Gracias. ***************************************

Prezados, Seguindo com a tradição de manter sessões especiais de Lógica Matemática nos encontros

Hola Samuel, Muchas gracias por compartir con el Grupo de Lógica de Bogotá el documento elaborado por

Buenas tardes. Este martes 1° de julio Moshe Kamensky dará una charla que pinta realmente muy

Buenos días. Me llegó esta información muy interesante sobre plazas de doctorado abiertas en el

Hace unos días me hicieron una entrevista en Radio UNAL, en el programa Hipótesis de la Facultad de

Estimados, Adjunto a este correo encontrarán el resumen de la charla que presentaré hoy en el

Seminario Mundo/Lógica/Modelos Universidad Nacional de Colombia - Bogotá Martes 17 de junio 14:00

Buenos días. Los estudiantes Sebastián Rodríguez y Samuel Roldán, de las Universidades de los Andes y

Buenos días, Hace un par de semanas retomamos nuestro Seminario Mundo/Lógica/Modelos en la

The conference in honor of Jörg Brendle, on the occasion of his 60th birthday, will be held entirely

Hasta donde yo sé, en los últimos dos congresos no se han rechazado ponencias en lógica. Un poco por

Defesa de Mestrado: Marcelo Dias - Funções Cardinais e Jogos Topológicos Defesa de Mestrado: Marcelo

---------- Forwarded message --------- De: Walter Carnielli <walt...@unicamp.br> Date: lun, 10

Terence Tao - Machine-Assisted Proofs (February 19, 2025) Terence Tao - Machine-Assisted Proofs (

Seminario Teoría de Conjuntos Viernes 7 de febrero 4:00 pm - 6:00 pm Salón W-402, Universidad de los

[Please distribute, apologies for duplicates] -------------------------------- XXI Brazilian Logic

He aquí un in memoriam que sacaron en el Fields sobre Zoé: https://www.fields.utoronto.ca/news/

Corrección al mensaje anterior: Miguel Moreno ahora trabaja en la Universidad de Helsinki (en el

[Please distribute, apologies for duplicates ] -------------------------------- XXI Brazilian Logic

----- Mensagem encaminhada ----- De: European Set Theory Society <commen...@wordpress.com>

Muy estimados/as: En pocos días tendrá lugar un evento muy significativo para nuestro grupo. Se trata

----- Mensagem encaminhada ----- De: foru...@impa.br <foru...@impa.br> Para: Destinatários de

We will resume, Tomorrow with Andrés Villaveces' talk. You can find the general information about

[Please distribute] -------------------------------- XXI Brazilian Logic Conference (EBL 2025) - Call

Post-Doctoral Position in Non-Deterministic Semantics and Algebraization of Logics (2 years) - Centre