Call for Participation MPC 2002 - Sixth International Conference on MATHEMATICS OF PROGRAM CONSTRUCTION July 8 - 10, 2002 http://www.cs.ukc.ac.uk/events/conf/2002/mpc2002/ WCGP '02 - IFIP WG2.1 Working Conference on GENERIC PROGRAMMING July 11 - 12, 2002 http://www.generic-programming.nl/wcgp/ 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. The conference's final programme is under http://www.cs.ukc.ac.uk/events/conf/2002/mpc2002/prog/ WCGP '02 Following MPC 2002 there is the IFIP WG2.1 Working Conference on GENERIC PROGRAMMING WCGP '02. The conference's final programme is under http://www.generic-programming.nl/wcgp/programme.html 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: CMPP 2002 - 3rd International Workshop on Constructive Methods for Parallel Programming http://pvp.cs.tu-berlin.de/cmpp02/ TIP'02 - Workshop on Types in Programming http://www.informatik.uni-freiburg.de/~thiemann/tip02/ Accommodation and Food Accommodation will be provided at Schlo� Dagstuhl, http://www.dagstuhl.de 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 13 or Saturday July 14. In particular cases the stay can be extended into Sunday July 15; 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 http://www.dagstuhl.de 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 attached below 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 MPC 2002, CMPP 2002, TIP'02, WCGP '02. -------------------------------------------------------------- Registration Form for MPC 2002/WCGP '02 *** Please do not insert additional line breaks *** *** In the case of multiple choices, please *** *** insert X into the corresponding parentheses *** Family Name: First Name: Institution: Street: City, Zip Code: Country: Tel: Fax: E-Mail: URL: Day of Arrival (dd/mm/yy): Day of Departure (dd/mm/yy): Single room () Double room () Accompanying Person in Dagstuhl: yes () no () Participation in the following events MPC: () TIP: () CMPP: () WCGP: () Banquet on Wed. Jul 10: () if yes, number of persons: Dietetic requirements/restrictions: Additional remarks: -- Mathematics of Program Construction '02 at Dagstuhl (Eerke Boiten, Computing Laboratory, University of Kent at Canterbury, UK +44.1227.827615 (fax 762811))