Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

8-11 September 2011, The 18th Workshop on Types for Proofs and Programs (TYPES 2011), Bergen, Norway

Date: 8-11 September 2011
Location: Bergen, Norway
Deadline: 19 June 2011

The Types Meeting is a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. It will be held in conjunction with CSL 2011 which takes place in Bergen September 12 - 15.

For more information, see http://www.types.name/

We encourage all researchers to contribute talks on subjects related to the Types area of interest. The talks may be based on newly published papers, work submitted for publication, but also work-in-progress. There are no formal pre-proceedings. Deadline for abstracts: June 19.

Please note that this newsitem has been archived, and may contain outdated information or links.