MPC 2002
\| Home \| Programme \| Workshops \| Venue \| Registration \| Contacts \|

MPC 2002 Submission

The general theme of this series of conferences is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software or hardware. The conference theme reflects the growing interest in formal, mathematically based methods for the construction of software and hardware. The goal of the MPC conferences is to report on and significantly advance the state of the art in this area. Previous conferences were held in 1989 at Twente, The Netherlands, organised by the Rijksuniversiteit Groningen, in 1992 at Oxford, United Kingdom, in 1995 at Kloster Irsee, Germany, organised by Augsburg University, in 1998 at Marstrand, Sweden, organised by the Computing Science department of Chalmers University of Technology and University of Göteborg, and in 2000 in Ponte de Lima, Portugal, organised by the University of Minho.

TOPICS

The emphasis is on the combination of conciseness and precision in calculational techniques for program construction. We solicit high quality papers on original research, typically in one of the following areas:

formal specification of sequential and concurrent programs;
constructing implementations to meet specifications;

in particular,

program transformation;
program analysis;
program verification;
convincing case studies.

While this list is not exclusive it is intended to show the focus of the conference.

The proceedings will be published in the Springer LNCS series, ready at the conference. The authors should follow the instructions for authors.

Although there is no page limit, submissions should strive for brevity. Papers for colocated workshops should be submitted to the organisers of the workshops. See the Web pages of the workshops for details.

	webpages hosted by Computer Science @ Kent

	Contact the MPC Webmaster Last Updated: 6 July, 2001 18:53 Web Address: