From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id ECD4DBBAF for ; Mon, 31 May 2010 16:02:04 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai0FAL9dA0zBAGAGgWdsb2JhbACDGI8UjAYVAQEWIiKwQYdqiF+BJoMFawQ X-IronPort-AV: E=Sophos;i="4.53,333,1272837600"; d="scan'208";a="60338732" Received: from mail.mimuw.edu.pl ([193.0.96.6]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 31 May 2010 16:02:04 +0200 Received: from localhost (localhost [127.0.0.1] ident=amavis) by duch.mimuw.edu.pl (Postfix) with ESMTP id 01638224 for ; Mon, 31 May 2010 16:02:03 +0200 (CEST) X-Virus-Scanned: amavisd-new at mimuw.edu.pl Received: from duch.mimuw.edu.pl ([127.0.0.1]) by localhost (mail.mimuw.edu.pl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id xJkUE4DvO62q for ; Mon, 31 May 2010 16:01:57 +0200 (CEST) Received: from [IPv6:2001:6a0:5001:b:221:6aff:fe03:92be] (unknown [IPv6:2001:6a0:5001:b:221:6aff:fe03:92be]) (using TLSv1 with cipher DHE-RSA-CAMELLIA256-SHA (256/256 bits)) (No client certificate requested) by duch.mimuw.edu.pl (Postfix) with ESMTPSA for ; Mon, 31 May 2010 16:01:57 +0200 (CEST) Subject: Types Meeting 2010 From: Aleksy Schubert To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Organization: University of Warsaw Date: Mon, 31 May 2010 16:01:54 +0200 Message-ID: <1275314514.7177.10.camel@aronia> Mime-Version: 1.0 X-Mailer: Evolution 2.30.1.2 (2.30.1.2-6.fc13) Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; mimuw:01 formalized:01 pierre-louis:01 curien:01 mimuw:01 10.:98 proofs:01 bertot:01 henk:03 programming:03 types:05 types:05 reasoning:07 meeting:08 meeting:08 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