Browse thread
Types Meeting 2010
- Aleksy Schubert
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2010-05-31 (14:02) |
From: | Aleksy Schubert <alx@m...> |
Subject: | Types Meeting 2010 |
Types Meeting 2010 Warsaw, 13 - 16 October 2010 First Announcement The 17-th Workshop "Types for Proofs and Programs" will take place in Warsaw, Poland, from October 13 (Wednesday) to October 16 (Saturday). 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: * Henk Barendregt; * Yves Bertot; * Pierre-Louis Curien; * Aarne Ranta. Important information concerning accomodation in Warsaw is already available from the conference web page: http://types10.mimuw.edu.pl Details concerning registration, fees, and how to submit a talk will soon be posted there as well. We are looking forward to your participation. The Organizing Committee types10@mimuw.edu.pl