From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pB53U5bN015978 for ; Mon, 5 Dec 2011 04:30:10 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUBAKk53E6egkPZi2dsb2JhbAAqGg4Ipy2CdSIBAQEKCwsbJYIWHS6BTwGIISOrI4kFij5jBIgtkXaMGlU X-IronPort-AV: E=Sophos;i="4.71,297,1320620400"; d="scan'208";a="133922744" Received: from talbot.seas.upenn.edu ([158.130.67.217]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 05 Dec 2011 04:30:09 +0100 Received: from [192.168.1.39] (pool-70-20-183-233.phil.east.verizon.net [70.20.183.233]) (authenticated bits=0) by talbot.seas.upenn.edu (8.14.4/8.14.3) with ESMTP id pB53TdEH025872 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT); Sun, 4 Dec 2011 22:29:40 -0500 From: "Benjamin C. Pierce" Content-Type: text/plain; charset=us-ascii Date: Sun, 4 Dec 2011 22:29:34 -0500 To: Haskell List , coq-club@inria.fr, caml-list@yquem.inria.fr, types-announce@lists.seas.upenn.edu, agda@lists.chalmers.se, mlton-user@mlton.org, eapls@jiscmail.ac.uk, nj-pls@lists.seas.upenn.edu, sml-evolution@cs.uchicago.edu, ecoop-info@ecoop.org Message-Id: Mime-Version: 1.0 (Apple Message framework v1251.1) X-Mailer: Apple Mail (2.1251.1) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.5.7110,1.0.211,0.0.0000 definitions=2011-12-05_02:2011-12-04,2011-12-05,1970-01-01 signatures=0 X-Proofpoint-Spam-Reason: safe Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pB53U5bN015978 X-Validation-by: bcpierce@cis.upenn.edu Subject: [Caml-list] TLDI 2012 Call for participation The Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2012) CALL FOR PARTICIPATION Saturday, January 28, 2012 in conjunction with POPL 2012 Philadelphia, PA, USA The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type-based analyses and type-theoretic deductive systems have been central to advances in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The ACM SIGPLAN Workshop on Types in Language Design and Implementation brings researchers together to share new ideas and results concerning all aspects of types and programming, and is now an annual event. TLDI 2012 is the seventh workshop in the series and will be co-located with POPL in Philadelphia, Pennsylvania in January 2012. PROGRAM Invited speakers: - Frank Pfenning (Carnegie Mellon University) Towards Concurrent Type Theory - Neelakantan Krishnaswami (Max Planck Institute) Semantics for Graphical User Interfaces Full program: http://www.cis.upenn.edu/~bcpierce/tldi12 REGISTRATION To register for TLDI 2012, follow the instructions here: https://regmaster3.com/2012conf/POPL12/register.php The early registration deadline is December 24, 2011. TLDI will be co-located with POPL at the Sheraton Society Hill Hotel in Philadelphia. Please visit POPL's web site to make reservations at the special conference rate.