MPC '98

Fourth International Conference on

MATHEMATICS OF PROGRAM CONSTRUCTION

June 15 - 17, 1998, Marstrand, Sweden

[ CFP Workshops Prog. Abstracts Reg. People Venue Contact ]

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, and in 1995 at Kloster Irsee, Germany, organised by Augsburg University.

The next conference is preliminary scheduled for the year 2000 in Portugal - Roland Backhouse and Jose Oliveira know more.

Conference Material

Conference programme; (+workshops)
Proceedings: MPC'98 (LNCS 1422), WGP'98
Invited talk by John Hughes;
Preliminary abstracts of accepted papers;
WWW-registered participants.
Some pictures from Marstrand (thanks to Eerke Boiten)

Conference Activities

Last modified: Sat Jul 11 11:40:56 MET DST 1998 by

Johan Jeuring / johanj@cs.chalmers.se