[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
INVITED SPEAKERS
include:
Robert Giegerich
Dexter Kozen
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 [EMAIL PROTECTED] 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)
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
