29 November - 3 December 2004, OzsL Schoolweek, Hotel Dennenhoeve, Nunspeet

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.

If you are a PhD-student of the ILLC or one of the other 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, as well as Breakfast, lunch and dinner.

For more information, see the OzsL Schoolweek page at http://godot.phil.uu.nl/~pape/ozsl/schoolweek.php.