[PT] Types Meeting 2010

Aleksy Schubert <alx-Q8V+/[email protected]> Mon, 31 May 2010 14:10:24 +0000

Newsgroups	gmane.science.mathematics.prooftheory
Organization	University of Warsaw
Message-ID	<1275315024.7177.25.camel@aronia>

                         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-Q8V+/[email protected]