Home
Gödel Centenary
About the OzsL
Institutes
People
Schoolevent
News
Schoolweek 2004
Puzzle of the Month
Publications
Links


From Monday the 29th of November till Friday the 3rd of December the OzsL Schoolweek will be held in the forests of Nunspeet. The week will consist of two parts:
- Lectures on Automated Theorem Proving [Aut], Provability Logic [PL], Proof Theory [PT] and Philosophy [Phil]
- Accolade meeting. PhD students of the OzsL communicate on their research and share their experience as a doctoral student.



Program

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 Lwe: '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:00Presentations I
13:30 - 16:30Presentations II
16:30 - 17:30Forum: 'How to survive your time as a PhD student?'



Registration

If you are a PhD-student of one of the participating groups of the OzsL, the group wil pay your registration fee. For others, the fee is € 700. The registration fee includes:
- 4 nights at Hotel Dennenhoeve
- Breakfast, lunch and diner

Please register by sending a mail to ruben.vandoorn@phil.uu.nl. Include your name and affiliation!!



Location

Hotel Dennenhoeve in Nunspeet
Elspeterweg 14
8071 PA Nunspeet

For directions see: http://www.dennenhoeve.nl

Last modified: 09-06-2005 ( mail webmaster webmaster) | © OzsL | Valid HTML!