MPC 2002 - Sixth International Conference on

MATHEMATICS OF PROGRAM CONSTRUCTION

July 8 - 10, 2002

[VT FACIANT OPVS SIGNA]

WCGP '02 - IFIP WG2.1 Working Conference on

GENERIC PROGRAMMING

July 11 - 12, 2002

Call for Participation

[ MPC 2002 | WCGP '02 | Co-located workshops | Accommodation | Fees | Travel Information | On-line Registration | Contact ]

  MPC 2002

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.

  WCGP '02

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.

  Co-located workshops

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.

Schloß Dagstuhl

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).

  Travel Information

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.

  Registration

Deadline for registration for all or any of the above events is
Monday, June 17, 2002
Please complete the Registration Form and send it by e-mail to Georg.Struth@informatik.uni-augsburg.de.

  Contact

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