Subject: categories: MPC2000: 5th Int. Conf. on Mathematics of Program Construction - CFP

From: "Jose N. Oliveira" <[email-masked]>
Date: Tue, 12 Oct 1999 22:10:42 +0100

[ Apologies if you receive this more than once ]

                             CALL FOR PAPERS

                                MPC 2000

                     5th International Conference on

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

                     http://www.di.uminho.pt/mpc2000
            
                             3--5 July, 2000

                         Ponte de Lima, Portugal

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
concision, 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.

A number of workshops will be organised in conjunction with the conference.

                            IMPORTANT DATES

Deadline for submission of papers:    3rd January, 2000
Notification of acceptance/rejection: 29th February, 2000
Final papers due:                     17th April, 2000

Full papers should be submitted in Postscript format by e-mail to reach
Jose Oliveira by 3rd January, 2000.

                              PROCEEDINGS 

The conference proceedings will be published by Springer Verlag.
Authors of selected papers will be invited to submit a suitably revised and/or
extended paper for inclusion in a special issue of Science of Computer
Programming.

                            INVITED SPEAKERS

Cliff Jones (Newcastle, UK)           Jan Rutten  (CWI, The Netherlands)
Mark Jones  (Oregon, USA)

                           PROGRAMME COMMITTEE

Roland Backhouse (cochair, UK)        Richard Bird (UK)
Eerke Boiten (UK)                     Dave Carrington (Australia)
Jules Desharnais (Canada)             Jose Fiadeiro (Portugal)
Jeremy Gibbons (UK)                   Lindsay Groves (New Zealand)
Zhenjiang Hu (Japan)		      John Hughes (Sweden)
Johan Jeuring (The Netherlands)       Burghard von Karger (Germany)
Dick Kieburtz (USA)                   Carlos Kloos (Spain)
K. Rustan M. Leino (USA)              Christian Lengauer (Germany)
Lambert Meertens (The Netherlands)    Sigurd Meldal (Norway)
Eugenio Moggi (Italy)                 Bernhard Moeller (Germany)
Oege de Moor (UK)                     Dave Naumann (USA)
Jose Oliveira (cochair, Portugal)     Kaisa Sere (Finland)
Mark Utting (New Zealand)             Phil Wadler (USA)

                           FURTHER INFORMATION

Please refer to the web page for further details.

           http://www.di.uminho.pt/mpc2000

Alternatively, email:  [email-masked]

or contact a member of the programme committee.