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

2nd cfp MPC'98: 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



                    Post-conference workshops: 

        * Workshop on Generic Programming, WGP'98
          http://www.cse.ogi.edu/PacSoft/conf/wgp/

        * International Workshop on Constructive Methods for 
          Parallel Programming, CMPP'98
          http://brahms.fmi.uni-passau.de/cl/cmpp98/index.html

        * Formal Techniques for Hardware and Hardware-like 
          Systems, FTH'98
          http://www.cs.chalmers.se/~ms/FTH98/



                        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.


                          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. Simultaneous submission to the conference and a
post-conference workshop is allowed.


                            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.


                      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 after the main conference.

  * International Workshop on Generic Programming. 

          http://www.cse.ogi.edu/PacSoft/conf/wgp/

  * International Workshop on Constructive Methods for 
      Parallel Programming, CMPP'98:

      http://brahms.fmi.uni-passau.de/cl/cmpp98/index.html

  * Formal Techniques for Hardware and Hardware-like Systems, FTH'98:

                http://www.cs.chalmers.se/~ms/FTH98/


                   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