From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.7 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id A1484BBAF for ; Wed, 22 Apr 2009 18:09:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApADAMDd7knBMHhLf2dsb2JhbACWPwEBCwsJCBG7MYN0Bg X-IronPort-AV: E=Sophos;i="4.40,231,1238968800"; d="scan'208";a="26645996" Received: from net.univ-savoie.fr ([193.48.120.75]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/EDH-RSA-DES-CBC3-SHA; 22 Apr 2009 18:09:00 +0200 Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id n3MG8t57001234 ; Wed, 22 Apr 2009 18:08:55 +0200 Received: from d53.lama.univ-savoie.fr (d53.lama.univ-savoie.fr [193.48.123.53]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with SMTP id n3MG8p3T008350 ; Wed, 22 Apr 2009 18:08:51 +0200 Received: by d53.lama.univ-savoie.fr (sSMTP sendmail emulation); Wed, 22 Apr 2009 18:08:57 +0200 Date: Wed, 22 Apr 2009 18:08:57 +0200 From: Pierre Hyvernat To: appsem@appsem.org, types@lists.chalmers.se, caml-list@inria.fr Subject: TYPES annual workshop in Aussois, France. Message-ID: <20090422160857.GA24632@d53.lama.univ-savoie.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.17+20080114 (2008-01-14) X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Spam: no; 0.00; univ-savoie:01 univ-savoie:01 2009:98 2009:98 lama:01 pierre:02 pierre:02 talks:03 submissions:04 types:05 types:05 deadline:05 profitable:94 cnrs:06 meeting:08 Dear list members, The Types 2009 meeting will be held in Aussois, at the "centre Paul Langevin" managed by the CNRS. This centre will supply everything: conference room, accommodation, meals, etc. It should provide very good conditions for profitable work. Early registration is now closed, but you can still register (until the week before the workshop). We also extended the deadline for talks submissions until the 27th of April. You are welcome to submit a talk or a demo You can find all the information on the workshop web page: http://www.lama.univ-savoie.fr/~types09/index.php Hoping to see some of you in Aussois, best regards, The TYPES 2009 program commitee. --