Mathematics of Program Construction, 1st CFP

[mpc02]

[Apologies for multiple copies]

                                MPC 2002

                     6th International Conference on

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

                  http://www.cs.ukc.ac.uk/conf/mpc2002/
            
                  Organised in conjunction with WCGP '02

                            8--10 July, 2002

                            Dagstuhl, Germany


                             CALL FOR PAPERS


This conference aims to promote the development of mathematical
principles and techniques that are demonstrably useful and usable
in the process of constructing computer programs (whether
implemented in hardware or software).
The focus of the conference is on techniques that combine
precision with conciseness, enabling programs to be constructed by
formal calculation.  Within this theme, the scope of the conference
is very diverse.  We welcome contributions to  programming
methodology (for example, formal methods for program specification
and transformation), to programming paradigms (for example,
generic programming techniques and type systems) and to language
design (for example, programming calculi and programming language
semantics).  Theoretical contributions are welcome provided their
relevance to program construction is evident; discussion of
applications is welcome provided the mathematical basis is evident.

The conference will be organised in conjunction with the IFIP TC2
Working Conference on Generic Programming, WCGP '02. There will also be
a number of co-located workshops, including CMPP.


                            IMPORTANT DATES

Deadline for submission of papers:    6th January, 2002
Notification of acceptance/rejection: 4th March, 2002
Final papers due:                     25th April, 2002

Full papers should be submitted in Postscript or pdf format by e-mail
to mpc02@ukc.ac.uk by 6th January, 2002.


                           PROGRAMME COMMITTEE

Roland Backhouse (UK)              Eerke Boiten (UK, co-chair)
Michael Butler (UK)                Ernie Cohen (USA)
Jules Desharnais (Canada)          Jeremy Gibbons (UK, GP liaison)
David Gries (USA)                  Lindsay Groves (New Zealand)
Ian Hayes (Australia)              Eric Hehner (Canada)
Zhenjiang Hu (Japan)               John Hughes (Sweden)
Bart Jacobs (The Netherlands)      Johan Jeuring (The Netherlands, GP liaison)
Dick Kieburtz (USA)                Dexter Kozen (USA)
K. Rustan M. Leino (USA)           Christian Lengauer (Germany, CMPP liaison)
Erik Meijer (The Netherlands/USA)  Bernhard Moeller (Germany, co-chair)
David Naumann (USA)                J.N. Oliveira (Portugal)
Alberto Pardo (Uruguay)            Peter Pepper (Germany)
Kaisa Sere (Finland)               Mark Utting (New Zealand)


                           FURTHER INFORMATION

Please refer to the web page for further details.

           http://www.cs.ukc.ac.uk/conf/mpc2002/

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