"New Trends in Logic"
Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011
April 28-29, 2011 at the Celebration Hall of the Austrian Academy of Sciences
Videos of all the lectures can be found here.
Dr. Ignaz Seipel-Platz 2, 1st floor
The Kurt Gödel Society is proud to announce the conference introducing winners of the second round and presenting the
results achieved by the first round winners of the Kurt Gödel Research Prize Fellowship Program. These are the highest
prizes ever awarded in the field of logic.
The program is organized by the Kurt Gödel Society and supported by the John Templeton Foundation.
The first day features lectures by the winners of both Fellowships' rounds and the award ceremony. On the second day,
eminent logicians from different generations will give lectures about their views of the foundations of logic. These
lectures are complemented by a lecture from Anton Zeilinger on the foundations of quantum mechanics. Finally, the
conference will be closed by Harvey Friedman's piano concert.
The conference is open to public.
*April 28, 2011
2008 Winners' Lectures
9:00 am-9:30 am Lecture by David Fernandez Duque: Towards a Modal Proof Theory of Topological Dynamics (video)
9:30 am-10:00 am Lecture by Pavel Hrubeš: Observations on Arithmetic Circuits and Proofs (video)
10:00 am-10:20 am Coffee break
10:20 am-10:50 am Lecture by Andrey Bovykin: Recent Unprovability Proofs (video)
10:50 am-11:20 am Lecture by Peter Koellner : Absolute Undecidability and Bifurcation Revisited (video)
11:20 am-11:30 am Coffee break
11:30 am-12:00 pm Lecture by Thierry Coquand: The Development of Constructive Mathematics (video)
12:00 pm-1:30 pm Award Ceremony with Austrian Federal Minister of Research and Science Dr. Beatrix Karl. (video) Dr. Karl will
award gold medals to the winners of 2008 and 2011 Research Prize Fellowships. Champagne cocktail and lunch will follow.
2011 Winners' Lectures
1:30 pm-2:00 pm Lecture by Danko Ilik: Towards a new Computational Interpretation of Sub-Classical Principles (video)
2:00 pm-2:30 pm Lecture by Sean Walsh: Comparing Peano Arithmetic, Basic Law V, and Hume's Principle (video)
2:30 pm-2:50 pm Coffee Break
2:50 pm-3:20 pm Lecture by Maryanthe Malliaris: Comparing the Complexity of Unstable Theories (video)
3:20 pm-3:50 pm Lecture by Matteo Viale: Three Aspects of Gödel's Program: Supercompactness, Forcing axioms, Omega-logic (video)
3:50 pm-4:00 pm Coffee Break
4:00 pm-4:30 pm Lecture by Ulrich Kohlenbach: Proof Interpretations and Their Application to Current Mathematics (video)
Gala Dinner at the Schönbrunn Castle by Invitation Only
6:30 pm Begin
6:30-7:30 pm Dinner Speech by Karl Sigmund, University of Vienna
7:30-10:30 pm Dinner
Invited Dinner Speech
Karl Sigmund, University of Vienna: Gödel in Vienna
April 29, 2011
9:00 am-9:50 am Lecture by Warren Goldfarb: On Gödel's General Philosophical Viewpoint (video)
9:50 am-10:40 am Lecture by Dov Gabbay: Principles of Non-deductive Logical Systems (video)
10:40 am-11:10 am Coffee break
11:10 am-12:00 pm Lecture by Sergei Artemov: Kurt Gödel's Legacy and the Current Trends in Logic (video)
12:00 pm-12:50 pm Lecture by Lev Beklemishev: Incompleteness as a Metaphor (video)
12:50 pm-1:50 pm Lunch break
1:50 pm-2:40 pm Lecture by Anton Zeilinger: Past, Present, and Future Directions in Quantum Mechanics
2:40 pm-3:30 pm Lecture by Harvey Friedman: Past, Present, and Future Directions in Foundations of Mathematics (video)
3:30 pm-4:00 pm Coffee break
4:00 pm-4:50 pm Lecture by Angus Macintyre: Foundational Concerns and Mathematical Concerns (video)
4:50 pm-5:40 pm Lecture by Jeremy Avigad: Hilbert, Gödel, and Metamathematics today (video)
5:40 pm-6:00 pm Closing
6:00 pm-7:00 pm Dinner
7:00 pm Piano Concert by Harvey Friedman
All lunch and coffee breaks, as well as dinner on April 29 will be served at the Austrian Academy of Sciences.
* Kurt Gödel's 105th birthday.