APPSEM Workshop on
Subtyping & Dependent Types in
7th July 2000
Ponte de Lima, Portugal
Check the proceedings.
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
Moggi (Universita di Genova, Italy). Arity Polymorphism and
Thompson (University of Kent, UK). Computer Algebra and Reasoning.