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.0 required=5.0 tests=NO_RELAYS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: by yquem.inria.fr (Postfix, from userid 18965) id 49CA0BC68; Tue, 14 Nov 2006 10:57:19 +0100 (CET) Date: Tue, 14 Nov 2006 10:57:19 +0100 From: Francois Pottier To: types-announce@lists.seas.upenn.edu, Caml Mailing List , smlnj-dev-list@lists.sourceforge.net, MLton-user@mlton.org, haskell@haskell.org Subject: [ANN] Call for participation: TLDI'07 Message-ID: <20061114095719.GA6734@yquem.inria.fr> Reply-To: Francois.Pottier@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.9i X-Spam: no; 0.00; sigplan:01 necula:01 tldi:01 mlf:01 unification:01 didier:01 yakobowski:01 zhong:01 shao:01 modular:01 type-safe:01 srivastava:01 semantics:01 coercions:01 chakravarty:01 ****************************************************************************** The 2007 ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'07) Affiliated with the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'07) Call for Participation http://www.cs.berkeley.edu/~necula/tldi07/ ****************************************************************************** Preliminary programme Invited talks: Kathleen Fisher (AT&T Research) Conor McBride (University of Nottingham) Accepted papers: A Garbage-Collecting Typed Assembly Language Chris Hawblitzel, Heng Huang, Lea Wittie and Juan Chen A graphical presentation of MLF types with a linear-time unification algorithm Didier Rémy and Boris Yakobowski An Open Framework for Foundational Proof-Carrying Code Xinyu Feng, Zhaozhong Ni, Zhong Shao and Yu Guo Modular Information Hiding and Type-Safe Linking for C Saurabh Srivastava, Michael Hicks and Jeffrey Foster Semantics of an Effect Analysis for Exceptions Nick Benton and Peter Buchlovsky System F with Type Equality Coercions Martin Sulzmann, Manuel Chakravarty, Simon Peyton Jones and Kevin Donnelly ****************************************************************************** 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 analyses, and formal deduction have led to new concepts in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. In light of this expanding role of types, the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'07) follows five previous International Workshops on types in compilation and language design (TIC'97, TIC'98, TIC'00, and TLDI'03 and TLDI'05), with the hope of bringing together researchers to share new ideas and results in this area. ****************************************************************************** General Chair François Pottier INRIA Rocquencourt BP 105 78153 Le Chesnay Cedex FRANCE francois.pottier@inria.fr Program Chair George Necula University of California 783 Soda Hall Berkeley, CA 94720 necula@cs.berkeley.edu Program Committee Damien Doligez, INRIA Peter Lee, Carnegie Mellon University Andrew Kennedy, Microsoft Research, Cambridge Naoki Kobayashi, Tohoku University George Necula (chair), University of California, Berkeley Randy Pollack, Edinburgh University Norman Ramsey, Harvard University David Tarditi, Microsoft Research, Redmond Stephanie Weirich, University of Pennsylvania Hongwei Xi, Boston University