| Mo 29 Nov |
| 10:00 | - 12:00 | [Intro] Dr. Lev Beklemishev: 'The many faces of provability' |
| 13:30 | - 15:30 | [Aut] Prof. Henk Barendregt: 'The quest for correctness; a general introduction to computer mathematics' |
| 15:30 | - 17:30 | [PL] Prof. Albert Visser: 'An introduction to provability logic; the song of the nightingale' |
|
| Tu 30 Nov |
| 10:00 | - 12:00 | [PL] Dr. Joost J. Joosten: 'Super models and worms' |
| 13:30 | - 15:30 | [Aut] Prof. Herman Geuvers: 'Formalization of mathematics in type theory' |
| 15:30 | - 17:30 | [PT] ] Prof. Helmut Schwichtenberg: 'Structural proof theory, an introduction' |
|
| We 1 Dec |
| 10:00 | - 12:00 | [Phil] Dr. Wolfram Hinzen: 'Computational theory of mind' |
| 13:30 | - 15:30 | [Aut] Prof. Helmut Schwichtenberg: 'Program extraction in constructive analysis' |
| 15:30 | - 17:30 | [PL] Dr. Lev Beklemishev: 'Proof theory via modal logic; the story of worms and hydras' |
|
| Th 2 Dec |
| 10:00 | - 12:00 | [Phil] Prof. Benedikt Löwe: 'Where does logic fit in? Thoughts about the classification of the sciences' |
| 13:30 | - 15:30 | [PT] Prof. Andreas Weiermann: 'Subrecursive hierachies and independence results' |
| 15:30 | - 17:30 | [Aut] Dr. Freek Wiedijk: 'The 16 provers of the world' |
|
| Fr 3 Dec: Accolade |
| 10:00 | - 12:00 | Presentations I |
| 13:30 | - 16:30 | Presentations II |
| 16:30 | - 17:30 | Forum: 'How to survive your time as a PhD student?' |
webmaster) |
© OzsL
|
