Version française
Home     About     Download     Resources     Contact us    
Browse thread
Types Meeting 2010
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
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