From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1135
Path: news.gmane.org!not-for-mail
From: jno@di.uminho.pt (Jose Nuno Oliveira)
Newsgroups: gmane.science.mathematics.categories
Subject: MPC2000: 5th Int. Conf. on Math. of Program Construction - CFP
Date: Wed, 2 Jun 1999 17:02:11 +0100
Message-ID: <9906021602.AA24300@shiva.di.uminho.pt>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241017590 29659 80.91.229.2 (29 Apr 2009 15:06:30 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:06:30 +0000 (UTC)
To: categories@mta.ca
Original-X-From: cat-dist Thu Jun  3 10:46:08 1999
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.9.3/8.9.3) id JAA11294
	for categories-list; Thu, 3 Jun 1999 09:14:25 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 79
Xref: news.gmane.org gmane.science.mathematics.categories:1135
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1135>


                                MPC 2000

                     5th International Conference on

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

                     http://www.di.uminho.pt/mpc2000
            
                             3--7 July, 2000

                         Ponte de Lima, Portugal


                             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
concision, 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.

A number of workshops will be organised in conjunction with the conference.


                            IMPORTANT DATES

Deadline for submission of papers:    3rd January, 2000
Notification of acceptance/rejection: 29th February, 2000
Final papers due:                     17th April, 2000

Full papers should be submitted in Postscript format by e-mail to reach
Roland Backhouse or Jose Oliveira by 3rd January, 2000.


                            INVITED SPEAKERS

Cliff Jones (Harlequin Ltd., UK)      Jan Rutten  (CWI, The Netherlands)
Mark Jones  (Oregon, USA)


                           PROGRAMME COMMITTEE

Roland Backhouse (UK, cochair)        Richard Bird (UK)
Eerke Boiten (UK)                     Dave Carrington (Australia)
Jules Desharnais (Canada)             Jose Fiadeiro (Portugal)
Jeremy Gibbons (UK)                   Lindsay Groves (New Zealand)
Zhenjiang Hu (Japan)		      John Hughes (Sweden)
Johan Jeuring (The Netherlands)       Burghard von Karger (Germany)
Dick Kieburtz (USA)                   Carlos Kloos (Spain)
K. Rustan M. Leino (USA)              Christian Lengauer (Germany)
Lambert Meertens (The Netherlands)    Sigurd Meldal (Norway)
Eugenio Moggi (Italy)                 Bernhard Moeller (Germany)
Oege de Moor (UK)                     Dave Naumann (USA)
Jose Oliveira (cochair, Portugal)     Kaisa Sere (Finland)
Mark Utting (New Zealand)             Phil Wadler (USA)


                           FURTHER INFORMATION

Please refer to the web page for further details.

           http://www.di.uminho.pt/mpc2000

Alternatively, email:  mpc2000@di.uminho.pt

or contact a member of the programme committee.