Search this site
Embedded Files
Skip to main content
Skip to navigation
SimSem- Gödel’s Program
Overview
Semister info
People
Registration
Poster
Locations
Complementary info
Week 0
Conference
Timetable
Need-to-Know
Location
Week 1
Long Games and Chang Models
Timetable
Need-to-Know
Location
Week 2
HOD Conjecture
Timetable
Need-to-Know
Location
Week 3
Descriptive Inner Model Theory
Timetable
Need-to-Know
Location
Week 4
SimSem- Gödel’s Program
Overview
Semister info
People
Registration
Poster
Locations
Complementary info
Week 0
Conference
Timetable
Need-to-Know
Location
Week 1
Long Games and Chang Models
Timetable
Need-to-Know
Location
Week 2
HOD Conjecture
Timetable
Need-to-Know
Location
Week 3
Descriptive Inner Model Theory
Timetable
Need-to-Know
Location
Week 4
More
Overview
Semister info
People
Registration
Poster
Locations
Complementary info
Week 0
Conference
Timetable
Need-to-Know
Location
Week 1
Long Games and Chang Models
Timetable
Need-to-Know
Location
Week 2
HOD Conjecture
Timetable
Need-to-Know
Location
Week 3
Descriptive Inner Model Theory
Timetable
Need-to-Know
Location
Week 4
Long Games and Chang Models
lead by Sandra Müller
Warsaw (2026, June
08
-
12
)
Tutorial
I
nstructors
James Cummings
(CMU)
Sandra Müller
(TU Wien)
Speakers
Juan Agilera
(TU Wien)
Takehiko Gappo
(TU Wien)
Obrad Kasum
(UCLA)
John Steel*
(UC Berkeley)
Nam Trang
(UNT)
Hugh Woodin
(Harvard)
*
pending confirmation
.
Participants
Report abuse
Page details
Page updated
Report abuse