Atlas home || Conferences | Abstracts | about Atlas
Host: Departamento de Informática, University of Minho
Homepage: http://seide.di.uminho.pt/~mpc2000/
Email: mpc2000@di.uminho.pt
Description:
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.
Speakers: Cliff Jones (Harlequin Ltd, UK), Mark Jones (Oregon, USA), Jan Rutten (CWI, The Netherlands)
Mail Address:
MPC 2000 Carla Oliveira University of Minho, CIUM Gualtar Campus, 4700 Braga, Portugal TEL: +351 53 604140 FAX: +351 53 678484
Date received: June 11, 1999
© 2008 Atlas Conferences Inc.