STRUCTURES: Set Theory, Model Theory, Logic and Computer Science

01.08.2023 - 31.12.2023 | Warszawa, Wrocław, Będlewo

We are pleased to announce a thematic semester devoted to various areas of foundations of mathematics and computer science!


Based on
Simons Semester at the Banach Center in Warsaw
IDUB Thematic Research Programme of the University of Warsaw
The model theory part is co-funded by the University of Wrocław.

Mikołaj Bojańczyk (UW) • Piotr Kowalski (UWr) • Aleksandra Kwiatkowska (UWr)
Maciej Malicki (IMPAN) • Marcin Sabok (McGill) • Grigor Sargsyan (IMPAN)


The semester will consist of a series of conferences, workshops, schools and mini-courses.

Descriptive set theory & dynamics
Conference (21-25.08.2023, Warsaw)
Workshop (14-18.08.2023, Warsaw)

Model theory
September-October 2023

Homogeneous structures and theoretical computer science
October-November 2023

Pure set theory – forcing axioms and inner models
November-December 2023


University of Warsaw • Polish Academy of Sciences, Będlewo Conference Center • University of Wrocław

Participation of postdocs, PhD students, and students is especially encouraged, and (limited) accommodation for them will be provided.

More details to follow soon. To contact the organizers, please write to structures-semester@mimuw.edu.pl.

Rewrite code from the image

Reload image

Reload image