From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 65C03BC57 for ; Tue, 30 Nov 2010 22:18:42 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AswAAF/49EyegkPZmWdsb2JhbACjDhUBAQEBAQgLCgcRIogssw2IZoVHBIRckSE X-IronPort-AV: E=Sophos;i="4.59,281,1288566000"; d="scan'208";a="90439909" Received: from talbot.seas.upenn.edu ([158.130.67.217]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 Nov 2010 22:18:41 +0100 Received: from lvn510-1.cis.upenn.edu (LVN510-1.cis.UPENN.EDU [158.130.50.184]) (authenticated bits=0) by talbot.seas.upenn.edu (8.14.3/8.14.3) with ESMTP id oAULHvI2023781 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT); Tue, 30 Nov 2010 16:17:57 -0500 From: Stephanie Weirich Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: TLDI 2011 Call for participation Date: Tue, 30 Nov 2010 16:17:57 -0500 Message-Id: Cc: Derek Dreyer , STEPHANIE WEIRICH 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 Mime-Version: 1.0 (Apple Message framework v1082) X-Mailer: Apple Mail (2.1082) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.2.15,1.0.148,0.0.0000 definitions=2010-11-30_11:2010-11-30,2010-11-30,1970-01-01 signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 ipscore=0 suspectscore=0 phishscore=0 bulkscore=3 adultscore=0 classifier=spam adjust=0 reason=mlx engine=5.0.0-1010190000 definitions=main-1011300140 X-Spam: no; 0.00; weirich:01 tldi:01 tldi:01 sigplan:01 popl:01 popl:01 compiler:01 type-based:01 compilation:01 sigplan:01 chakravarty:01 low-level:01 sagonas:01 sato:01 yonezawa:01 *********************************************************************=20 CALL FOR PARTICIPATION=20 TLDI 2011=20 ACM SIGPLAN Workshop on=20 Types in Language Design and Implementation=20 25 January 2011=20 Austin, TX, USA To be held in conjunction with POPL 2011 http://www.mpi-sws.org/~dreyer/tldi2011/ *********************************************************************=20 IMPORTANT DATES=20 Deadline for student travel grant applications: December 17, 2010 Hotel reservation deadline: December 21, 2010 Notification of student travel awards: December 27, 2010 Early registration deadline: December 31, 2010 VENUE=20 TLDI'11 and all POPL'11 affiliated events will take place at the=20 Omni Austin Hotel in downtown Austin, TX. REGISTRATION To register for TLDI'11, follow the link from the POPL 2011 page, at https://regmaster3.com/2011conf/POPL11/register.php=20 SCOPE=20 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. WORKSHOP PROGRAM=20 Session 1: Invited Talk (9:30 - 10:30) Type Design Patterns for Computer Mathematics Georges Gonthier (Microsoft Research, Cambridge) Break (10:30-11:00) Session 2 (11:00-12:30) Singleton: A General-Purpose Dependently-Typed Assembly Language Simon Winwood and Manuel Chakravarty A Type and Effect System for Deadlock Avoidance in=20 Low-Level Languages Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas Extended Alias Type System using Separating Implication Toshiyuki Maeda, Haruki Sato and Akinori Yonezawa Lunch (12:30-14:30) Session 3: Invited Talk (14:30-15:30) Type Safety from the Ground Up Chris Hawblitzel (Microsoft Research, Redmond) Break (15:30-16:00) Session 4 (16:00-17:30) AuraConf: A Unified Approach to Authorization and = Confidentiality Jeffrey Vaughan Information Flow Enforcement in Monadic Libraries Dominique Devriese and Frank Piessens The Essence of Monotonic State Alexandre Pilkiewicz and Fran=E7ois Pottier