From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 6EAC9BC57 for ; Thu, 2 Sep 2010 15:05:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApIFABY+f0zBAGAGVmdsb2JhbACDGJ1oCwEhIyGrHIkqiGSBIoMmcwSNJw X-IronPort-AV: E=Sophos;i="4.56,308,1280700000"; d="scan'208";a="68757359" Received: from mail.mimuw.edu.pl ([193.0.96.6]) by mail4-smtp-sop.national.inria.fr with ESMTP; 02 Sep 2010 15:05:37 +0200 Received: from localhost (localhost [127.0.0.1] ident=amavis) by duch.mimuw.edu.pl (Postfix) with ESMTP id 7B69E75C for ; Thu, 2 Sep 2010 15:05:34 +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 jmO+hZ4NpVEC for ; Thu, 2 Sep 2010 15:05:34 +0200 (CEST) Received: from [172.16.1.4] (unknown [94.75.112.139]) (using TLSv1 with cipher DHE-RSA-CAMELLIA256-SHA (256/256 bits)) (No client certificate requested) by duch.mimuw.edu.pl (Postfix) with ESMTPSA for ; Thu, 2 Sep 2010 15:05:34 +0200 (CEST) Subject: Types'10 - Call for Participation From: Aleksy Schubert To: caml-list Content-Type: text/plain; charset="UTF-8" Organization: University of Warsaw Date: Thu, 02 Sep 2010 15:05:33 +0200 Message-ID: <1283432733.2373.28.camel@aronia> Mime-Version: 1.0 X-Mailer: Evolution 2.30.2 (2.30.2-4.fc13) Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; mimuw:01 mimuw:01 10.:98 types:05 types:05 deadline:05 meeting:08 warsaw:10 warsaw:10 committee:11 early:11 should:13 organizing:13 edu:15 edu:15 Call for Participation Types Meeting 2010 Warsaw, 13 -- 16 October 2010 http://types10.mimuw.edu.pl This is a reminder that the early registration deadline for Types'10 is Monday, September 13 Note also that your talk should be submitted no later than September 20. Do not hesitate to contact types10@mimuw.edu.pl if you have any questions. See you in Warsaw at Types 2010! The Organizing Committee types10@mimuw.edu.pl