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=2.6 required=5.0 tests=SPF_SOFTFAIL,SUBJ_ALL_CAPS autolearn=disabled version=3.1.3 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 05647BBAF for ; Sun, 19 Apr 2009 23:10:57 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8FALsw60nBMHhLcWdsb2JhbACBTpRrAQwLCRkctRGDfQaHYA X-IronPort-AV: E=Sophos;i="4.40,213,1238968800"; d="scan'208";a="26481596" 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; 19 Apr 2009 23:10:50 +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 n3JLAgP5010553 ; Sun, 19 Apr 2009 23:10:42 +0200 Received: from macbookpro.local (192-168-222-31.local.univ-savoie.fr [192.168.222.31]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id n3JLAcIj007313 ; Sun, 19 Apr 2009 23:10:38 +0200 Message-ID: <49EB9445.50704@univ-savoie.fr> Date: Sun, 19 Apr 2009 23:14:45 +0200 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.21 (Macintosh/20090302) MIME-Version: 1.0 To: OCaml , types@lists.chalmers.se, types-announce@lists.seas.upenn.edu, haskell@haskell.org Subject: TYPES 2009 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Spam: no; 0.00; christophe:01 raffalli:01 raffalli:01 univ-savoie:01 referee:01 univ-savoie:01 2009:98 2009:98 lama:01 proceedings:02 types:05 types:05 submission:05 probably:07 workshop:08 Dear list members, Tomorow Monday is the last day to register on the TYPES 2009 website if you want to pay reduced fee. Later registration is still possible and talk submission to. We will probably (as every year) publish post proceedings with good referee. The TYPES workshop cover theory ptractice and application of type theory. More detail and registration on the website http://www.lama.univ-savoie.fr/types09. Yours sincerely, The organizing commitee.