Mathematics of Program Construction 2002 Call for Participation

[mpc02]

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=DF 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=DF 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=DF 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=DF 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=DF 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=DF
Dagstuhl on the travel info page of the Dagstuhl web site
  http://www.dagstuhl.de

Note: On Monday July 8 direct access to Schlo=DF 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:












--=20
Mathematics of Program Construction '02 at Dagstuhl
(Eerke Boiten, Computing Laboratory, University of Kent at Canterbury, UK
 +44.1227.827615 (fax 762811))