From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/527 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: last cfp MPC'98: Mathematics of Program Construction Date: Mon, 17 Nov 1997 13:12:08 -0400 (AST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Content-Transfer-Encoding: QUOTED-PRINTABLE X-Trace: ger.gmane.org 1241017017 26130 80.91.229.2 (29 Apr 2009 14:56:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:56:57 +0000 (UTC) To: categories Original-X-From: cat-dist Mon Nov 17 13:14:09 1997 Original-Received: by mailserv.mta.ca; id AA08791; Mon, 17 Nov 1997 13:12:08 -0400 Original-Lines: 172 Xref: news.gmane.org gmane.science.mathematics.categories:527 Archived-At: Date: Mon, 17 Nov 1997 18:00:04 +0100 (MET) From: Johan Jeuring MPC '98 Fourth International Conference on=20 MATHEMATICS OF PROGRAM CONSTRUCTION ----------------------------------- http://www.md.chalmers.se/Conf/MPC98/ =20 June 15 - 17, 1998 Marstrand, Sweden Post-conference workshops:=20 * Workshop on Generic Programming, WGP'98 http://www.cse.ogi.edu/PacSoft/conf/wgp/ * International Workshop on Constructive Methods for=20 Parallel Programming, CMPP'98 http://brahms.fmi.uni-passau.de/cl/cmpp98/index.html * Formal Techniques for Hardware and Hardware-like=20 Systems, FTH'98 http://www.cs.chalmers.se/~ms/FTH98/ CALL FOR PAPERS 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. SUBMISSION =20 Full papers should be submitted in Postscript format by e-mail to reach Johan Jeuring by December 15, 1997. The details of the submission procedure can be found at http://www.md.chalmers.se/Conf/MPC98/how_to_submit.html=20 Although there is no page limit, submissions should strive for brevity. Simultaneous submission to the conference and a post-conference workshop is allowed. TOPICS The emphasis is on the combination of c o n c i s e n e s s and=20 p r e c i s i o n in c a l c u l a t i o n a l t e c h n i q u e s=20 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. We expect to publish the proceedings as a Springer LNCS, ready at the conference. VENUE Marstrand is a small island on the beautiful westcoast of Sweden, 40 km from G=F6teborg. The charming old houses, the fortress, the walking paths, and the absence of cars make this island a very pleasant resort. There are direct flights to G=F6teborg Landvetter from most European main cities, and busses from G=F6teborg to Marstrand. PROGRAMME COMMITTEE=20 Ralph-Johan Back Finland =20 Roland Backhouse The Netherlands =20 Richard Bird UK =20 Eerke Boiten UK =20 Dave Carrington Australia =20 Robin Cockett Canada =20 David Gries USA =20 Lindsay Groves New Zealand=20 Wim Hesselink The Netherlands=20 Zhenjiang Hu Japan=20 Barry Jay Australia=20 Johan Jeuring Sweden (Chair)=20 Dick Kieburtz USA =20 Christian Lengauer Germany =20 Lambert Meertens The Netherlands =20 Sigurd Meldal Norway =20 Bernhard M=F6ller Germany Chris Okasaki USA=20 Jose Oliveira Portugal Ross Paterson UK =20 Mary Sheeran Sweden =20 Doug Smith USA =20 LOCAL ORGANISATION MPC '98 is organised by the Computing Science department of Chalmers University of Technology and University of G=F6teborg. The organisation committee consists of the following people: Patrik Jansson Johan Jeuring Marie Larsson Mary Sheeran IMPORTANT DATES Submission December 15, 1997 Notification February 9, 1998 Final version due March 30, 1998 POST-CONFERENCE WORKSHOPS The following one-day workshops are being organised in conjunction with=20 MPC '98 and will take place after the main conference. * International Workshop on Generic Programming.=20 http://www.cse.ogi.edu/PacSoft/conf/wgp/ * International Workshop on Constructive Methods for=20 Parallel Programming, CMPP'98: http://brahms.fmi.uni-passau.de/cl/cmpp98/index.html * Formal Techniques for Hardware and Hardware-like Systems, FTH'98: http://www.cs.chalmers.se/~ms/FTH98/ CORRESPONDENCE Johan Jeuring (MPC '98) Department of Computing Science Chalmers University of Technology S-412 96 G=F6teborg Sweden E-mail: mpc98@cs.chalmers.se Fax: +46 31 165655