MPC 2002 - Sixth International Conference on
MATHEMATICS OF PROGRAM CONSTRUCTION
July 8 - 10, 2002
WCGP '02 - IFIP WG2.1 Working Conference on
July 11 - 12, 2002
Call for Participation
Welcome to MPC 2002, the Sixth International Conference on MATHEMATICS OF PROGRAM CONSTRUCTION which will take place in Schloß Dagstuhl in the second week of July 2002. Here is the conference's final programme and here a link to the conference proceedings.
Following MPC 2002 there is the IFIP WG2.1 Working Conference on GENERIC PROGRAMMING WCGP '02. Here is the conference's final programme. Note that attending WCGP '02 is by invitation only. If you think you should be invited, please contact Jeremy.Gibbons@comlab.ox.ac.uk stating why.
Two workshops are taking place in the same week co-located with the conference:
|Accommodation and Food|
Accommodation will be provided at Schloß Dagstuhl, the International Conference and Research Center for Computer Science. This will be mostly in single rooms at EURO 60 full pension per day. There is also a limited number of double rooms at EURO 30 full pension per day and person. The double rooms will be assigned on a first-come first-served basis.
The conference center provides full computing facilities, including net and e-mail access, as well as an extensive library. The lecture rooms are equipped with beamers, overhead projectors and blackboards.
To a limited extent also accompanying persons can be accommodated in Schloß Dagstuhl; the rate for full pension in a double room will then be EURO 30 for conference delegates and EURO 50 for accompanying persons. However, the Dagstuhl web pages also contain information about alternative accommodation in the neighbourhood.
Normal arrival is between Sunday July 7 and Wednesday July 10, normal departure is between Wednesday July 10 and Friday July 12 or Saturday July 13. In particular cases the stay can be extended into Sunday July 14; however, on Saturday and Sunday only breakfast will be served. If you arrive prior to Sunday July 7 you will have to arrange your own accommodation through the Dagstuhl web pages.
Schloß Dagstuhl is renowned for its fine cuisine. They will also be able to take care of dietetic requirements and restrictions (such as vegeterian food or certain allergies). If you need kosher food there is the possibility of getting a room with a kitchenette and a microwave oven to prepare your own things. Please indicate such wishes on your registration form.
MPC and WCGP will hold a joint banquet on the evening of Wednesday July 10.
|Fees and Payment|
The registration fee for MPC is EURO 40, including one copy of the Proceedings. The registration fee for WCGP is EURO 200, including one copy each of the preproceedings and of the final proceedings. The banquet will cost EURO 20 per person. TIP and CMPP may charge small additional registration fees for their own proceedings.
You will pay everything to Schloß Dagstuhl. They accept cash (EURO) as well as credit card (Visa and Mastercard only).
You will find travel information how to come to Schloß Dagstuhl on the travel info page of the Dagstuhl web site.
Note: On Monday July 8 direct access to Schloß Dagstuhl will be blocked from about 14:00 to 16:00, because the Tour de France will pass by! We'll leave a corresponding free slot in the conference schedule to allow watching the spectacle.
Deadline for registration for all or any of the above events is
Monday, June 17, 2002Please complete the Registration Form and send it by e-mail to Georg.Struth@informatik.uni-augsburg.de.
If you have further questions at this point concerning the venue, registration etc please do not hesitate to get in touch with Georg.Struth@informatik.uni-augsburg.de or any member of the Organizing Committee of