[Prev][Next][Index][Thread]
DTP00---Call for Participation
WORKSHOP ON SUBTYPING & DEPENDENT TYPES IN PROGRAMMING
7th July 2000, Ponte de Lima , Portugal
CALL FOR PARTICIPATION
http://www-sop.inria.fr/oasis/DTP00/index.html
-----------------------------------------------------------
Warning: DTP'00 will be held on July 7th, instead of July
6th as was announced in previous calls for papers.
-----------------------------------------------------------
The workshop is to be held in conjunction with MPC'2000.
The aim of the workshop is to bring together researchers
in the area of programming languages and proof systems.
The workshop is supported by the ESPRIT WG APPSEM (Applied
Semantics), but is aimed at all researchers in the area,
including those which are not formally involved in APPSEM.
------------------------------------------------------------
Invited speakers:
Eugenio Moggi (Universita di Genova, Italy)
Arity Polymorphism and Dependent Types
Simon Thompson (University of Kent, UK)
TBA
------------------------------------------------------------
Accepted contributions:
Gustavo Betarte.
Type-checking dependent record types and subtyping.
Paul Callaghan.
Coherence Checking of Coercions in Plastic.
Peter Hancock and Anton Setzer.
Interactive programs in Type Theory.
Johan Nordlander.
Polymorphic subtyping in O'Haskell.
Robert Pollack.
Dependently typed records for representing mathematical
structure.
Walid Taha and Henning Makholm.
Tag Elimination or Type Specialization is a Type-Indexed
Effect.
Songtao Xia and James Hook.
Dependently Type JVM method invocations.
Jan Zwanenburg.
Pure Type Systems with Subtyping.
-----------------------------------------------------------
Registration:
To register, use the on-line registration form available
from MPC 2000 website:
http://seide.di.uminho.pt/~mpc2000/regform/index.html
You may choose to register for the workshop only or for
the whole event (MPC 2000 and workshops).
Warning: the deadline for registration is May 28th.
-----------------------------------------------------------
Information:
For further information, please contact Gilles Barthe
(Gilles.Barthe@inria.fr).