TYPES 2002 Workshop
April 24 -- April 28, 2002
Berg en Dal, Netherlands
The 2002 Workshop of the EC TYPES Working Group (IST-1999-290001-TYPES) will be held in Berg en Dal (near Nijmegen), Netherlands, from April 24 until April 28. The meeting is organised by the Foundations group of the NIII, Faculty of Science, Mathematics and Informatics, University of Nijmegen.
| When | 24th April to 28th April 2002 | ||
| Where | Hotel Erica, Berg en Dal | Transport and Maps | Nijmegen |
| What | Schedule & Talks | Academic programme | Social programme (Friday afternoon) |
| Who | Contact details | TYPES working group | Participants |
| How | Submission is closed | Registration & Costs |
The TYPES Network joins various European research groups that concentrate on the topic Computer-Assisted Formal Reasoning based on type theory, i.e. the use and development of type theory as a basis for theorem proving and formalizing mathematics. The workshop is a forum for researchers that work in this field. The workshop is not restricted to members of the EC network. The previous workshop was in Durham in December 2000.
At the TYPES meeting we will also celebrate the 60th birthday of Per Martin-Löf on Saturday (April 27) afternoon. We are happy to have Dana Scott , Jean-Yves Girard and Peter Aczel as invited speakers for this special occasion.
The "call for presentations" is closed, as of March 15. There is time schedule for the workshop, including the titles of the talks and demos. There is also a complete
Formal refereed proceedings of the workshop will be published by Springer-Verlag in the LNCS series (call for papers). Also work within the scope of TYPES that was not presented at the workshop can be submitted for the proceedings.
The workshop will be held in Hotel Erica in Berg en Dal, which is on cycling distance from the city (centre) of Nijmegen, in a hilly (for Dutch standards) environment with some forests. Nijmegen is close to the German border and can be reached easily by train from Amsterdam Airport. There are taxis and busses from Nijmegen Central station to Berg en Dal.
The deadline for registration was March 31. No more registrations are accepted!
The costs of accomodation (and also the costs of lunch/diner/... for those not staying at the hotel) have to be paid to the hotel directly. The registration costs have to be paid to the organisers. (More information on the registration form). Note that for members of the TYPES network, the costs may be covered by your site's TYPES grant; contact your site leader for details.
List of alternative places for accomodation
Participants are expected to arrive Tuesday afternoon (or evenening) April 23 and leave on Sunday afternoon April 28. The workshop is planned to end on Sunday at lunch time (approximately 13:00). Friday afternoon there will be a social event.
You can contact the organizers by sending email
to types@cs.kun.nl.
Local organisation: Herman
Geuvers, Milad
Niqui, Jasper Stein, Dan Synek, Freek Wiedijk.