Projects

• Photos
• List of projects and presentations

Gödel's Incompleteness Theorems (Reinhard Kahle, Lisbon/Tübingen)

• Slides Lecture I-IV

Recursion and Complexity (Isabel Oitavem, Lisbon)

• Lecture I
• Lecture II
• Lecture III
• Lecture IV

Ordinal Analysis (Wolfram Pohlers, Münster)

• Handout Lecture I-IV

Automatic Reasoning in the Automobile Industry (Wolfgang Küchlin, Tübingen)

• Lecture I
• Lecture II
• Lecture III+IV

Evaluation

• Evaluation results
• Evaluation form

General documents

• Schedule for download (PDF)
• Here is some brief information about things to know and to do while staying in Göttingen.
• Handout groups - minimal axiomatisation