Simons Semester on Gödel's Program

31 May–4 July 2026, IMPAN, Warsaw