[Prev][Next][Index][Thread]
MPC2000: 5th Int. Conf. on Mathematics of Program Construction - CFP
-
To: categories@mta.ca, fsdm@it.uq.edu.au, softverf@jaguar.cs.byu.edu, formal-methods@cs.uidaho.edu, relmics-list@heraklit.Informatik.UniBW-Muenchen.de, lics-request@research.bell-labs.com, libkin@research.bell-labs.com, dataloger@cs.chalmers.se, bra-types@cs.chalmers.se, afp@cs.chalmers.se, types@cis.upenn.edu, logic@cs.cornell.edu, eacsl@dimi.uniud.it, eapls@mailbase.ac.uk, concurrency@cwi.nl, haskell@haskell.org, skeletons@dcs.ed.ac.uk, mop@cs.ruu.nl, isabelle-users@cl.cam.ac.uk, info-hol@jaguar.cs.byu.edu, theorem-provers@mc.lcs.mit.edu, clics@doc.ic.ac.uk, rewriting@loria.fr, qed@mcs.anl.gov, ccl@dfki.uni-sb.de, csp-list@cert.fr, compass-wg@bettina.informatik.uni-Bremen.de, mpc2000pc@di.uminho.pt
-
Subject: MPC2000: 5th Int. Conf. on Mathematics of Program Construction - CFP
-
From: "Jose N. Oliveira" <jno@seide.di.uminho.pt>
-
Date: Tue, 12 Oct 1999 22:10:42 +0100
-
Cc: jno@di.uminho.pt
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: mpc2000@di.uminho.pt
or contact a member of the programme committee.