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