[Prev][Next][Index][Thread]

cfp: Mathematics of Program Construction '98



                            MPC '98

               Fourth International Conference on


               MATHEMATICS OF PROGRAM CONSTRUCTION
               -----------------------------------

             http://www.md.chalmers.se/Conf/MPC98/


                      June 15 - 17, 1998

                       Marstrand, Sweden

                        CALL FOR PAPERS

The general theme of this series of conferences is the use of crisp,
clear mathematics in the discovery and design of algorithms and in the
development of corresponding software or hardware. The conference
theme reflects the growing interest in formal, mathematically based
methods for the construction of software and hardware. The goal of the
MPC conferences is to report on and significantly advance the state of
the art in this area. Previous conferences were held in 1989 at
Twente, The Netherlands, organised by the Rijksuniversiteit Groningen,
in 1992 at Oxford, United Kingdom, and in 1995 at Kloster Irsee,
Germany, organised by Augsburg University.

                            TOPICS

The emphasis is on the combination of  c o n c i s e n e s s  and

p r e c i s i o n  in  c a l c u l a t i o n a l  t e c h n i q u e s

for program construction. We solicit high quality papers on original
research, typically in one of the following areas:

  - formal specification of sequential and concurrent programs;
  - constructing implementations to meet specifications;

in particular,

  - program transformation;
  - program analysis;
  - program verification;
  - convincing case studies.

While this list is not exclusive it is intended to show the focus of the
conference.

We expect to publish the proceedings as a Springer LNCS, ready at
the conference.

                             VENUE

Marstrand is a small island on the beautiful westcoast of Sweden, 40
km from Göteborg. The charming old houses, the fortress, the walking
paths, and the absence of cars make this island a very pleasant
resort. There are direct flights to Göteborg Landvetter from most
European main cities, and busses from Göteborg to Marstrand.

                          SUBMISSION

Full papers should be submitted in Postscript format by e-mail to
reach Johan Jeuring by December 15, 1997. The details of the
submission procedure can be found at

  http://www.md.chalmers.se/Conf/MPC98/how_to_submit.html


Although there is no page limit, submissions should strive for brevity.


                      PROGRAMME COMMITTEE


   Ralph-Johan  Back               Finland

        Roland  Backhouse          The Netherlands

       Richard  Bird               UK

         Eerke  Boiten             UK

          Dave  Carrington         Australia

         Robin  Cockett            Canada

         David  Gries              USA

       Lindsay  Groves             New Zealand

           Wim  Hesselink          The Netherlands

     Zhenjiang  Hu                 Japan

         Barry  Jay                Australia

         Johan  Jeuring            Sweden (Chair)

          Dick  Kieburtz           USA

     Christian  Lengauer           Germany

       Lambert  Meertens           The Netherlands

        Sigurd  Meldal             Norway

      Bernhard  Möller             Germany
         Chris  Okasaki            USA

          Jose  Oliveira           Portugal
          Ross  Paterson           UK

          Mary  Sheeran            Sweden

          Doug  Smith              USA


                LOCAL ORGANISATION

MPC '98 is organised by the Computing Science department of Chalmers
University of Technology and University of Göteborg. The organisation
committee consists of the following people:

                 Patrik Jansson
                  Johan Jeuring
                  Marie Larsson
                   Mary Sheeran

                  IMPORTANT DATES

       Submission           December 15, 1997
       Notification         February 9,  1998
       Final version due    March 30,    1998

                  POST-CONFERENCE WORKSHOPS

The following one-day workshops are being organised in conjunction with

MPC '98 and will take place immediately after the main conference.

  * International Workshop on Generic Programming.

  * International Workshop on Constructive Methods for Parallel
Programming,

      CMPP'98.


                   CORRESPONDENCE

          Johan Jeuring (MPC '98)
          Department of Computing Science
          Chalmers University of Technology
          S-412 96 Göteborg
          Sweden
          E-mail: mpc98@cs.chalmers.se
          Fax: +46 31 165655