[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 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)