Day 3: Saturday 29 April

New Frontiers
in Mathematics and Symbolic Logic beyond Gödel's works

	Extending Gödel's works
8:30 - 9:15	Ulrich Kohlenbach
9:15 - 10:00	Harvey Friedman
10:00 - 10:30	Coffee Break
	The realm of Set Theory
10:30 - 11:15	Paul Cohen
11:15 - 12:00	Dana Scott
12:00 - 12:15	Break
	Gödel and the Higher Infinite
12:15 - 13:00	Hugh Woodin
13:00 - 14:30	Lunch Break
	Gödel and Computer Science
14:30 - 15:15	Avi Wigderson
15:15 - 16:00	Andrei Voronkov
16:00	Gaisi Takeuti (transmission)
16:00	Closing
17:00	Public Lecture by Roger Penrose, followed by the film screening: Kurt Gödel - A Mathematical Myth.