8-11 Sep 2011
Bergen, Norway
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 Nordstrm, Chalmers
_________________________________________________________________________