Gödel's Program

A distinctive five-week event will take place in Warsaw and Będlewo in the summer of 2026.

The event is generously supported by the Simons Semester in Poland.


Dates: May 31, 2026 - July 4, 2026
Scientific Leaders:
Gabriel Goldberg (UC Berkeley); John Steel (UC Berkeley); Hugh Woodin (University of Harvard).

Conference on Godel’s program
Location: IMPAN, Będlewo
Dates: June 1-5, 2026
The conference will be the next edition of the long-running series of conferences on Core Model Induction. The following is the list of all the previous edition of this conference: Münsetr 1 , Münster 2, American Institute of Math, Berkeley 1, Münster 3, Irvine 1, Münster 4, Girona 1, Berkeley 2, Münster 5, Irvine 2, Shrödinger Institute, Vienma 1, Berkeley 3,

Tutorials by the leaders
Location: IMPAN, Warsaw
Dates: June 8-12, 2026

  • Tutorial 1
  • Tutorial 2
  • Tutorial 3


    • Organizers:
    Gabriel Goldberg, Rahman Mohammadpour, Sandra Müller, Grigor Sargsyan.