[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[pept:14] MPC2000 - 2nd Call for Participation
================================================================================
[Apologies for any duplicates you may receive]
SECOND CALL FOR PARTICIPATION
MPC 2000
5th International Conference on
MATHEMATICS OF PROGRAM CONSTRUCTION
-----------------------------------
http://www.di.uminho.pt/mpc2000
3--5 July, 2000
Ponte de Lima, Portugal
Registration is now open for the Fifth International Conference on
MATHEMATICS OF PROGRAM CONSTRUCTION which will take place in Ponte de
Lima, a little old town in the picturesque province of Minho, North of
Portugal, in the first week of July 2000.
------------- REGISTRATION -------------
The conference's on-line REGISTRATION FORM is available from
http://www.di.uminho.pt/mpc2000
In case you have any questions concerning the venue or the registration
process, please do not hesitate to get in touch with Ms. Carla Oliveira
or any member of the Organizing Committee at
mpc2000@di.uminho.pt
------------- CONFERENCE INFORMATION -------------
INVITED SPEAKERS
Cliff Jones (Newcastle, UK) Jan Rutten (CWI, The Netherlands)
Mark Jones (Oregon, USA)
CONFERENCE PROGRAMME
Monday July 3 2000
8.50 - 9.00
Welcome
Session 1. Chair: Roland Backhouse (University of Nottingham)
9.00 - 10.00
Invited talk: [Title to be announced]
Mark Jones (Oregon Graduate Center, USA)
10.00 - 10.30
Break
Session 2. Chair: Johan Jeuring (Utrecht University)
10.30 - 11.15
Polytypic values possess polykinded types
Ralf Hinze (Institute für Informatik III, Universität Bonn)
11.15 - 12.00
The Zip Calculus
Mark Tullsen (Department of Computer Science, Yale University)
12.00 - 14.00
Lunch
Session 3. Chair: Lindsay Groves (Victoria University of Wellington)
14.00 - 14.45
Separation and Reduction
Ernie Cohen (Telecordia Technologies)
14.45 - 15.30
Using Deadline Commands to Reason about Non-Terminating Loops
Ian Hayes (Dept. of Computer Science and Electrical Engineering,
The University of Queensland, Brisbane)
15.30 - 16.00
Break
Session 4. Chair: Christian Lengauer (Universität Passau)
16.00 - 16.45
Quantum Programming
J. Sanders and P. Zuliani (PRG, Oxford University Computing
Laboratory, Oxford)
16.45-17.30
«Hot topic » Session. Coordination: Richard Bird (Oxford
University Computing Laboratory)
18.00-19.30
Reception at the Old Prision Tower
Tuesday July 4 2000
Session 5. Chair: Lambert Meertens (Kestrel Institute, USA)
9.00 - 10.00
Invited talk: Regular Expressions Revisited: a Coinductive
Approach to Streams, Automata, and Power Series
Jan Rutten (CWI, The Netherlands)
10.00 - 10.30
Break
Session 6. Chair: Bernhard Möller (Universität Augsburg)
10.30 - 11.15
Pointer aliasing in Hoare Logic
Richard Bornat (Department of Computer Science, Queen Mary and
Westfield College,University of London)
11.15 - 12.00
On Guarded Commands with Fair Choice
Emil Sekerinski (Department of Computing and Software, McMaster
University, Hamilton, Ontario)
12.00 - 14.00
Lunch
15.00-19.00
Sight-seeing Tour
19.30-
Banquet at the Monastery of Refóios do Lima
Wednesday July 5 2000
Session 7. Chair: J.N. Oliveira (Universidade do Minho)
9.00 - 10.00
Invited talk: Formal Methods and Dependability
Cliff Jones (University of Newcastle, UK)
10.00 - 10.30
Break
Session 8. Chair: Oege de Moor (Oxford University Computing Laboratory)
10.30 - 11.15
Liberating Data Refinement
Eerke Boiten and John Derrick (Computing Laboratory, University
of Kent, Canterbury)
11.15 - 12.00
Theorems about composition
Michel Charpentier (Computer Science Department, University of New
Hampshire, Durham) and K. Mani Chandy (Computer Science
Department, California Institute of Technology, Pasadena)
12.00 - 14.00
Lunch
Session 9. Chair: Jeremy Gibbons (Oxford University Computing
Laboratory)
14.00 - 14.45
The Universal Resolving Algorithm: Inverse Computation in a
Functional Language
Sergei Abramov (Program Systems Institute, Russian Academy of
Sciences) and Robert Glueck (Department of Information and
Computer Science, Waseda University, Tokyo)
14.45 - 15.30
Metacomputation-based Compiler Architecture
William L. Harrison (Department of Computer Science, Indiana
University, Bloomington) and Samuel N. Kamin (Department of
Computer Science, University of Illinois, Urbana)
15.30 - 16.00
Break
Session 10. Chair: Eugenio Moggi (DISI, Univ. di Genova)
16.00 - 16.45
A Meta Language for Programming with Bound Names Modulo Renaming
(Preliminary Report)
Andrew M. Pitts (Cambridge University Computer Laboratory,
Cambridge) and Murdoch J. Gabbay (Department of Pure Mathematics
and Mathematical Statistics, Cambridge University)
16.45-17.30
«Hot topic » Session. Coordination: Richard Bird (Oxford
University Computing Laboratory)
17.30-
Closing session
CO-LOCATED WORKSHOPS
Four workshops are taking place in the same week co-located with the
conference: CMPP 2000 - 2nd International Workshop on Constructive Methods
for Parallel Programming; WGP 2000 - 2nd International Workshop on Generic
Programming; DTP 2000 - International Workshop on Subtyping and Dependent
Types in Programming; and WAGA 2000 - 3rd International Workshop on
Attribute Grammars and their Applications.
ORGANIZING COMMITTEE
P.R. Henriques (prh@di.uminho.pt), L.S. Barbosa (lsb@di.uminho.pt), J.B. Barros
(jbb@di.uminho.pt)
PROGRAMME COMMITTEE
Roland Backhouse (cochair, UK) 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)
===========================================================================