Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 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
from the conference web page:


Details concerning registration, fees, and how to submit a talk will
be posted there as well. We are looking forward to your participation.

The Organizing Committee