Logo MPC2000
Ut Faciant Opus Signa


Programme Committee

Organizing Committee

Invited Speakers

Related Links

Private to the PC



Conference Overview
Co-located Workshops
Organization

Conference Programme
Proceedings
Venue


IMPORTANT DATES

Deadline for submission:
3rd January, 2000

Notification of acceptance/rejection:
29th February, 2000

Final version due:
17th April, 2000

CONTACT MPC 2000

Carla Oliveira
University of Minho, CIUM
Gualtar Campus, 4710-057 Braga, Portugal
mpc2000@di.uminho.pt
TEL: +351 253 604140
FAX: +351 253 678484


FOR MORE INFORMATION

Contact Roland Backhouse (rcb@cs.nott.ac.uk), José Oliveira (jno@di.uminho.pt) or any member of the organizing committee (prh@di.uminho.pt, jbb@di.uminho.pt, lsb@di.uminho.pt).

Click here to obtain a Postscript version of the announcement.


Organization
DI/UM Logo
Special Sponsorship
Ponte de Lima Stamp
Conference Overview

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.

Sidereus Logo
Sibs Logo
Turihab Logo
Andersen Consulting Logo
PahlData

© 2000, University of Minho. All rights reserved.
Developed by SIDEREUS. Questions/Comments: webmaster@sidereus.pt. Last Updated: 24-01-2000