Talks

Talks will be given:

John D. Barrow, Cambridge University, UK
Paul Cohen, Stanford University, US
Jack Copeland, University of Canterbury, NZ
Solomon Feferman, Stanford University, US
Harvey Friedman,, Ohio State University, Columbus, US
Ivor Grattan-Guinness, Middlesex University, London, UK
Petr Hajek, Academy of Sciences of the Czech Republic, Prague, CZ
Juliette Kennedy, University of Helsinki, FI
Ulrich Kohlenbach, Darmstadt University of Technology, DE
Georg Kreisel, Stanford University and Royal Society, London, UK
Angus J. Macintyre, Queen Mary University and Royal Society, London, UK
Piergiorgio Odifreddi, University of Torino, IT (other webpage here)
Christos H. Papadimitiriou, University of California, Berkeley, US
Roger Penrose, University of Oxford, UK
Hilary Putnam, Harvard University, Cambridge, UK
Wolfgang Rindler, University of Texas, Dallas, US
Dana Scott, Carnegie Mellon University, Pittsburgh, US
Denys Turner, Yale University, New Haven, US
Avi Wigderson, Institute for Advanced Study, Princeton, US
Hugh Woodin, University of California, Berkeley, US

Honorary chair

Gaisi Takeuti, University of Illinois, Urbana-Champaign, US; President, Kurt Gödel Society, Vienna, AT

Invited Presentation

Andrei Voronkov, University of Manchester, Oxford, UK

Special Guest Speaker at Gala Dinner (invited)

Garry Kasparov, Kasparov Foundation, Moscow, RU