From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2511
Path: news.gmane.org!not-for-mail
From: Jeremy.Gibbons@comlab.ox.ac.uk
Newsgroups: gmane.science.mathematics.categories
Subject: Mathematics of Program Construction
Date: Thu, 4 Dec 2003 17:21:49 GMT
Message-ID: <200312041721.hB4HLncH009601@mercury.comlab.ox.ac.uk>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241018715 4515 80.91.229.2 (29 Apr 2009 15:25:15 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:25:15 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Thu Dec  4 21:36:19 2003 -0400
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Thu, 04 Dec 2003 21:36:19 -0400
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
	id 1AS4pH-00019O-00
	for categories-list@mta.ca; Thu, 04 Dec 2003 21:32:11 -0400
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 5
Original-Lines: 71
Xref: news.gmane.org gmane.science.mathematics.categories:2511
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2511>

[We apologize if you receive multiple copies of this announcement.]


                                MPC 2004

                     7th International Conference on

                   MATHEMATICS OF PROGRAM CONSTRUCTION
                   -----------------------------------

                  http://www.cs.cornell.edu/Projects/MPC2004

                  Organised in conjunction with AMAST '04

                            12--14 July, 2004

                          Stirling, Scotland, UK


                             CALL FOR PAPERS


This conference aims to promote the development of mathematical
principles and techniques that are demonstrably useful 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 organized in conjunction with the AMAST '04
Conference. There will also be a number of co-located workshops,
including CMPP.  Proceedings will be published in a volume of
Springer-Verlag Lecture Notes in Computer Science.


                            IMPORTANT DATES

Deadline for submission of papers:     31st January, 2004
Notification of acceptance/rejection:   5th March,   2004
Final papers due:                      26th April,   2004

Full papers should be submitted in Postscript or pdf format by e-mail
to patwell@cs.cornell.edu by 31st January, 2004.


                           PROGRAM COMMITTEE

Roland Backhouse, Stephen Bloom, Eerke Boiten, Jules Desharnais, Thorsten
Ehm, Jeremy Gibbons, Ian Hayes, Eric Hehner, Johan Jeuring, Dexter Kozen
(chair), Rustan Leino, Hans Leiss, Christian Lengauer, Lambert Meertens,
Bernhard Moeller, David Naumann, Alberto Pardo, Georg Struth, Jerzy Tiuryn,
Mark Utting

                           FURTHER INFORMATION

Please refer to the web page for further details.

           http://www.cs.cornell.edu/Projects/MPC2004