[Prev][Next][Index][Thread]
Workshop on subtyping & dependent types in programming
WORKSHOP ON SUBTYPING & DEPENDENT TYPES IN PROGRAMMING
6th July 2000, Ponte de Lima , Portugal
CALL FOR PAPERS
http://www-sop.inria.fr/oasis/DTP00/index.html
-----------------------------------------------------------
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.
Submissions: the emphasis of the workshop will be the use of novel
type systems in programming languages and proof systems. We
particularly seek for contributions in the areas of subtypes and
dependent types in programming.
Topics include (but are not limited to):
- subtyping in programming and proof systems
- dependent types in programming
- module systems
- implementations
- practical applications
- meta-theoretical studies
Important dates:
- Submission deadline: 20 March
- Notification: 30 April
- Final version due: 20 May
- Workshop: 6 July
Proceedings: The workshop proceedings will be published
as an INRIA report, and will be available during the workshop.
Proceedings will also be made available on-line.
Invited speaker: Eugenio Moggi (Universita di Genova, Italy)
Program committee:
Gilles Barthe (INRIA, France)
Peter Dybjer (Chalmers Tekniska Högskola, Sweden)
Zhaohui Luo (University of Durham, UK)
Peter Thiemann (Universität Freiburg, Germany)
Simon Thompson (University of Kent, UK)