Kurt Gödel's Birthday Colloquium
The Kurt Gödel Society and the Vienna University of Technology are organizing a one-day Kurt Gödel Birthday Colloquium on the occasion of Gödel's birthday April 28th. The lectures will take place in the Böckelsaal of the Vienna University of Technology.
Schedule
| 9.00 | opening |
| 9.15 | Pavel Pudlak (Chech Academy of Sciences) will speak about the Incompleteness Theorems |
| 10.15 | cofffee break |
| 10.45 | Grigor Sargsyan (IMPAN, Danzig) will speak about the Completeness Theorem and the Consistency of Axiom of Choice and Continuum Hypotheses |
| 11.45 | short break |
| 11.50 | Norbert Preining (arXiv / Cornell University) will speak about Gödel Logics |
| 12.50 | lunch break |
| 15.00 | Ulrich Kohlenbach (TU Darmstadt) will speak about Functional Interpretations |
| 16.00 | coffee break |
| 16.30 | Wolfgang Schleich (Universität Ulm) will speak about Gödel's Universe |
| 17.30 | closure |
