* [Caml-list] TYPES 2011 in Bergen 8 - 11 Sept: Deadline for abstracts 19 June
@ 2011-06-01 14:03 Marcus Aloysius Bezem
0 siblings, 0 replies; only message in thread
From: Marcus Aloysius Bezem @ 2011-06-01 14:03 UTC (permalink / raw)
To: caml-list
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
_________________________________________________________________________
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-06-01 14:03 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-06-01 14:03 [Caml-list] TYPES 2011 in Bergen 8 - 11 Sept: Deadline for abstracts 19 June Marcus Aloysius Bezem
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).