From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr 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 p8K2ZHTM003657 for ; Tue, 20 Sep 2011 04:35:17 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhcAAAP7d06egkPZmWdsb2JhbABCDphLjFR1gSEUAQEBAQEICwsHFCWBd0uBTwEbh3KsfYh/hhhgBJhmi1hU X-IronPort-AV: E=Sophos;i="4.68,408,1312149600"; d="scan'208";a="120477986" Received: from talbot.seas.upenn.edu ([158.130.67.217]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Sep 2011 04:35:10 +0200 Received: from [192.168.1.39] (pool-71-242-198-54.phlapa.east.verizon.net [71.242.198.54]) (authenticated bits=0) by talbot.seas.upenn.edu (8.14.4/8.14.3) with ESMTP id p8K2YWg6027361 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT); Mon, 19 Sep 2011 22:34:38 -0400 From: "Benjamin C. Pierce" Content-Type: text/plain; charset=iso-8859-1 Date: Mon, 19 Sep 2011 22:34:27 -0400 Message-Id: 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 Mime-Version: 1.0 (Apple Message framework v1244.3) X-Mailer: Apple Mail (2.1244.3) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.4.6813,1.0.211,0.0.0000 definitions=2011-09-20_01:2011-09-20,2011-09-20,1970-01-01 signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 ipscore=0 suspectscore=0 phishscore=0 bulkscore=17 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=6.0.2-1012030000 definitions=main-1109190355 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p8K2ZHTM003657 X-Validation-by: bcpierce@cis.upenn.edu Subject: [Caml-list] TLDI 2012 - Call for Papers and Contributed Talks (updated) ===> UPDATE: The submission site is now open! <=== TLDI 2012 CALL FOR PAPERS AND CONTRIBUTED TALKS The Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation Saturday, January 28, 2012 Philadelphia, PA, USA To be held in conjunction with POPL 2012 Submission deadline: October 10th, 2011 Submission site: http://tldi12.cis.upenn.edu IMPORTANT: This year TLDI is introducing a significant change to the workshop organization. There will be two distinct submission categories: full papers (with a published proceedings, as always) and 2-page proposals for talks on more speculative or unfinished work. The aim is to foster a more informal atmosphere in which new ideas can be discussed while maintaining the TLDI tradition of presentations of polished technical work. __________________________________________________________________ Scope 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. Submissions for TLDI 2012 are invited on all interactions of types with language design, implementation, and programming methodology. This includes both practical applications and theoretical aspects. TLDI 2012 specifically encourages papers from a broad field of programming language and compiler researchers, including those working on object-oriented or dynamic languages, systems programming, mobile-code or security, as well as traditional fully-static type systems. Topics of interest include: * Typed intermediate languages and type-directed compilation * Type-based language support for safety and security * Types for interoperability * Type systems for system programming languages * Type-based program analysis, transformation, and optimization * Dependent types and type-based proof assistants * Types for security protocols, concurrency, and distributed computing * Type inference and type reconstruction * Type-based specifications of data structures and program invariants * Type-based memory management * Proof-carrying code and certifying compilation * Types and objects This is not meant to be an exhaustive list; papers on novel aspects or uses of types are welcome. Authors concerned about the suitability of a topic are encouraged to inquire via electronic mail to the program chair prior to submission. __________________________________________________________________ Submission Guidelines The submission site: http://tldi12.cis.upenn.edu Full papers should be no more than 12 pages (including bibliography and appendices). They will be judged on the usual criteria of novelty, usefulness, correctness, and clarity of exposition. Informal talk proposals should be no more than 2 pages (including bibliography). These can be either technical or more general in nature; they will be judged on their promise of leading to an exciting or provocative talk. The deadline for both submission categories is Monday, October 10, 2011. The submission deadline and length limitations are firm. Submissions that do not meet these guidelines will not be considered. All submissions should be in standard ACM SIGPLAN conference format: two columns, nine-point font on a ten-point baseline. Detailed formatting guidelines are available on the SIGPLAN Author Information page (http://www.sigplan.org/authorInformation.htm), along with a LaTeX class file and template. Papers must be submitted electronically via the workshop website (http://tldi12.cis.upenn.edu/) in Adobe Portable Document Format (PDF) and must be formatted for printing on US Letter size (8.5"x11") paper. Authors for whom this is a hardship should contact the program chair before the deadline. Submitted papers must adhere to the SIGPLAN Republication Policy (http://www.sigplan.org/republicationpolicy.htm). Submissions should contain original research not published or submitted for publication elsewhere. __________________________________________________________________ Publication As in previous years, accepted full papers will be published by the ACM and appear in the ACM digital library. __________________________________________________________________ Important Dates Submission deadline October 10, 2011 (Monday) Notification November 10, 2011 (Thursday) Workshop January 28, 2012 (Saturday) __________________________________________________________________ Program Chair: Benjamin C. Pierce University of Pennsylvania bcpierce atsign cis dot upenn dot edu Program Committee: Jonathan Aldrich CMU Adam Chlipala MIT Pierre-Malo Deniélou Imperial College London Kathleen Fisher Tufts University Chris Hawblitzel Microsoft Research (Redmond) Dan Licata CMU Greg Morrisett Harvard University Benjamin C. Pierce University of Pennsylvania Dimitrios Vytiniotis Microsoft Research (Cambridge) Steering Committee: Amal Ahmed Indiana University Nick Benton Microsoft Research, Cambridge Derek Dreyer MPI-SWS Andrew Kennedy Microsoft Research, Cambridge Francois Pottier INRIA Paris-Rocquencourt Stephanie Weirich University of Pennsylvania