Atlas home || Conferences | Abstracts | about Atlas

APPSEM Workshop on Subtyping & Dependent Types in Programming

with MPC'2000

July 6, 2000

Ponte de Lima, Portugal

Mathematics

Homepage: http://www-sop.inria.fr/oasis/DTP00/

Organizers: 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)

Description:
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.

Speakers: Eugenio Moggi (Universita di Geneva, Italy)

Date received: March 02, 2000

© 2008 Atlas Conferences Inc.