Promotie Adriaan de Groot

Op 6 maart 2008 om 10:30 precies zal het beginnen: de verdediging van mijn proefschrift "Practical Automaton Proofs in PVS". Het manuscript is als PDF beschikbaar als je geen gedrukt exemplaar hebt.

Dagindeling

10:30 begin verdediging.
11:30 hora est.
12:00 het is voorbij, we kunnen lunchen. Er wordt een lunch (buffet) geserveerd.
13:30 vertrek naar Kleve.
16:00 koffie en gebak ter afsluiting.

In Kleve gaan we naar de dierentuin (met Trampeltiere und Schäfen) en / of naar het Museum Kurhaus Kleve. Die liggen ongeveer tegenover elkaar aan de rijksweg en bieden jong en oud iets te doen. Aan het eind verzamelen we bij het Museum om in het café nog koffie en gebak te nuttigen.

Aanmelden

Meld je aan (of af) voor de activiteiten, zodat we een schatting kunnen maken van hoeveel gebak we nodig hebben en hoeveel auto's nodig zijn om van Nijmegen naar Kleve te rijden (het is een half uurtje met de auto, maar je wilt het niet door de regen fietsen). De email adressen zijn:

helaas@bionicmutton.org als je niet kunt.
ikkomwel@bionicmutton.org als je wel naar de promotie of receptie komt in de aula, maar niet naar de dierentuin wilt.
meenaarkleve@bionicmutton.org als je mee Trampeltiere en kunst gaat kijken.
promotie@bionicmutton.org voor alle andere zaken die de promotie aangaan.

Paranimfen

De paranimfen zijn Francien Dechesne (TU/e, CWI) en Maarten de Groot (UAP, ACDI). Zij weten alles.

Auteursrechtelijke verantwoording

Red Robot is een creatie van R. Stevens en wordt met toestemming gebruikt. Hij zal wel verbaasd zijn als er een exemplaar van het proefschrift in zijn brievenbus terecht komt.