Gödel's Program

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

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

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

Activities:
Conference, tutorials, and lectures, and more

Tentative Program:

Week I: Conference (Forcing, Inner Models, and Determinacy)
Location: IMPAN, Będlewo
Dates: June 1-5, 2026

Week II:: Long Games and Applications
Location: IMPAN, Warsaw

Week III: Descriptive Inner Model Theory
Location: IMPAN, Warsaw

Week IV: HOD Conjecture
Location: IMPAN, Warsaw

Week V: Free
Location: IMPAN, Warsaw