Forthcoming Events

UN encuentro 70 años

Speaker: Logic meets LLMs: Attention has a logic

18 - 22 August, 2026. Bogota, Colombia.
Conference

UN encuentro 70 años

Tutorial: From transformers to Logic: Proving expresivity results

18 - 22 August, 2026. Bogota, Colombia.
Conference

Logic and discrete mathematics seminar in Tampere

Speaker: The generalized Baire spaces (up-to-date)

04 September, 2026. Tampere, Finland.

26th Midrasha Mathematicae: Singular Cardinals Combinatorics.

Poster: TBA

18–22 October, 2026. Ramat Gan, Israel.
Workshop