Day 1: Thursday 27 April
Historical Context
Gödel's Contributions and Accomplishments
Historical, Philosophical and Scientific works of Gödel
General overview
8:30 - 9:15
Angus MacIntyre
9:15 - 10:00
Georg Kreisel
10:00 - 10:30
Coffee break
History
10:30 - 11:15
Ivor Grattan-Guinness
11:15 - 12:00
Juliette Kennedy
12:00 - 12:15
Break
12:15 - 13:00
Solomon Feferman
13:00 - 14:30
Lunch Break
Past and Future of Computation
14:30 - 15:15
Christos Papadimitriou
15:15 - 16:00
Jack Copeland
16:00 - 16:15
Break
Cosmology
16:15 - 17:00
Wolfgang Rindler
Young Scholars' Competition