APPSEM Workshop on

Subtyping & Dependent Types in Programming

7th July 2000

Ponte de Lima, Portugal

Description

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.

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

Invited Speakers

Eugenio Moggi (Universita di Genova, Italy). Arity Polymorphism and Dependent Types.
Simon Thompson (University of Kent, UK). Computer Algebra and Reasoning.

Programme 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)