Types Meeting 2011 Bergen, 8 - 11 September 2011 http://www.types.name The 18-th Workshop "Types for Proofs and Programs" will take place in Bergen, Norway from 8 to 11 September 2011. CSL'11 will take place in Bergen from 12 to 15 September: http://www.eacsl.org/csl11 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. Invited speakers: * Georges Gonthier, Cambridge * Dag Normann, Oslo * Vladimir Voevodsky, Princeton We encourage all researchers to contribute talks on subjects related to the Types area of interest. These include, but are not limited to: - Foundations of type theory and constructive mathematics; - Applications of type theory; - Dependently typed programming; - Industrial uses of type theory technology; - Meta-theoretic studies of type systems; -Proof-assistants and proof technology; - Automation in computer-assisted reasoning; - Links between type theory and functional programming; - Formalizing mathematics using type theory. The talks may be based on newly published papers, work submitted for publication, but also work-in-progress. There are no formal pre-proceedings. More details on http://www.types.name Deadline for abstracts: June 19 Submission site: https://www.easychair.org/conferences/?conf=typespre2011 Marc Bezem, University of Bergen Bengt Nordström, Chalmers _________________________________________________________________________ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]