Celebration of the 60th Birthday of Per Martin-Löf
April 27, 2002
Berg en Dal, The Netherlands
In May, Per Martin-Löf will have his 60th birthday. To celebrate that special occasion, we organise a special afternoon, dedicated to the work of Per Martin-Löf. This event will take place on Saturday afternoon, April 27 in Hotel-Conference centre Erica, Berg en Dal, NL (near Nijmegen). The afternoon is part of the TYPES 2002 meeting, but people are cordially invited to come just for this special celebration.
| 13.30 -- 14.30 | Dana Scott | Constructive Validity, Revisited | ||
| 14.30 -- 15.00 | break | |||
| 15.00 -- 16.00 | Jean-Yves Girard | From The Rules of Logic to The Logic of Rules | ||
| 16.00 -- 16.30 | break | |||
| 16.30 -- 17.30 | Peter Aczel | The Varieties of Type Theories | ||
| 17.30 -- 18.30 | drinks/reception | |||
| 18.30 | dinner |
Participation in the event costs 50 Euro. It is possible to also come for lunch and/or dinner, which costs an extra 34 Euro (for lunch) or 36 Euro (for dinner) or 59,50 Euro (for lunch and dinner). If you have registered to attend the TYPES 2002 workshop, you don't need to register for this event again and the prices are included in the registration fee for the workshop.If you only wish to attend the afternoon of the celebration of the 60th birthday of Per Martin-Löf, then please register via the web registration form (expired). The participation fee can be paid at the event. If you want to have lunch and/or dinner, please register before April 1st. (If you don't come for lunch or dinner, please register as well.)
You can contact the organizers by sending email to types@cs.kun.nl.