<div dir="ltr"><div>[Just a quick reminder that the TLDI deadline is Oct 8th...]</div><div><br></div><div>*********************************************************************</div><div>&nbsp;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; CALL FOR PAPERS</div>
<div><br></div><div>&nbsp;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;TLDI 2009&nbsp;</div><div><br></div><div>&nbsp;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;ACM SIGPLAN Workshop on</div><div>&nbsp;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Types in Language Design and Implementation&nbsp;</div><div>&nbsp;</div><div>
&nbsp;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 24 January 2009 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;</div><div>&nbsp;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Savannah, Georgia, USA</div><div><br></div><div>&nbsp;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;To be held in conjunction with POPL 2009</div><div><br></div>
<div>&nbsp;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;<a href="http://ttic.uchicago.edu/~amal/tldi2009/">http://ttic.uchicago.edu/~amal/tldi2009/</a></div><div>*********************************************************************</div><div><br></div><div>IMPORTANT DATES</div>
<div><br></div><div>Submission: &nbsp; &nbsp; 8 Oct 2008, 5PM EDT (Wed)</div><div>Notification: &nbsp; 8 Nov 2008 (Sat)</div><div>Camera ready: &nbsp; 19 Nov 2008 (Wed)</div><div>TLDI&#39;09: &nbsp; &nbsp; &nbsp; &nbsp;24 January 2009 (Sat)</div><div><br></div>
<div><br></div><div><br></div><div>SCOPE</div><div><br></div><div>The role of types and proofs in all aspects of language design,</div><div>compiler construction, and software development has expanded greatly</div><div>in recent years. Type systems, type analyses, and formal deduction</div>
<div>have led to new concepts in compilation techniques for modern</div><div>programming languages, verification of safety and security properties</div><div>of programs, program transformation and optimization, and many other</div>
<div>areas. In light of this expanding role of types, the ACM SIGPLAN</div><div>Workshop on Types in Language Design and Implementation (TLDI&#39;09)</div><div>follows six previous International Workshops on types in compilation</div>
<div>and language design (TIC&#39;97, TIC&#39;98, TIC&#39;00, TLDI&#39;03, TLDI&#39;05, and</div><div>TLDI&#39;07), with the hope of bringing together researchers to share new</div><div>ideas and results in this area.</div>
<div><br></div><div>Submissions for this event are invited on all interactions of types</div><div>with language design, implementation, and programming methodology.</div><div>This includes both practical applications and theoretical aspects.</div>
<div>TLDI&#39;09 specifically encourages papers from a broad field of</div><div>programming language and compiler researchers, including those working</div><div>in object-oriented, dynamically-typed, late-binding, systems</div>
<div>programming, and mobile-code paradigms, as well as traditional</div><div>fully-static type systems. Topics of interest include:</div><div><br></div><div>- Typed intermediate languages and type-directed compilation&nbsp;</div>
<div>- Type-based language support for safety and security&nbsp;</div><div>- Types for interoperability&nbsp;</div><div>- Type systems for system programming languages&nbsp;</div><div>- Type-based program analysis, transformation, and optimization&nbsp;</div>
<div>- Dependent types and type-based proof assistants&nbsp;</div><div>- Types for security protocols, concurrency, and distributed computing&nbsp;</div><div>- Type inference and type reconstruction&nbsp;</div><div>- Type-based specifications of data structures and program invariants&nbsp;</div>
<div>- Type-based memory management</div><div>- Proof-carrying code and certifying compilation</div><div><br></div><div>This is not meant to be an exhaustive list; papers on novel</div><div>utilizations of type information are welcome. Authors concerned about</div>
<div>the suitability of a topic are encouraged to inquire via electronic</div><div>mail to the program chair prior to submission.</div><div><br></div><div><br></div><div><br></div><div>SUBMISSION GUIDELINES</div><div><br>
</div><div>Authors should submit a full paper of no more than 12 pages (including</div><div>bibliography and appendices) by Wednesday, October 8, 2008 5PM Eastern</div><div>Daylight Savings Time. The submission deadline and length limitations</div>
<div>are firm. Submissions that do not meet these guidelines will not be</div><div>considered.</div><div><br></div><div>All submissions should be in standard ACM SIGPLAN conference format:</div><div>two columns, nine-point font on a ten-point baseline. Detailed</div>
<div>formatting guidelines are available on the SIGPLAN Author Information</div><div>page, along with a LaTeX class file and template:</div><div><br></div><div>&nbsp;&nbsp; &nbsp;<a href="http://www.sigplan.org/authorInformation.htm">http://www.sigplan.org/authorInformation.htm</a></div>
<div><br></div><div>Papers must be submitted in Adobe Portable Document Format (PDF) and</div><div>must be formatted for US Letter size (8.5&quot;x11&quot;) paper. Authors for</div><div>whom this is a hardship should contact the program chair before the</div>
<div>deadline.</div><div><br></div><div>Submitted papers must adhere to the SIGPLAN Republication Policy:&nbsp;</div><div><br></div><div>&nbsp;&nbsp; &nbsp;<a href="http://www.sigplan.org/republicationpolicy.htm">http://www.sigplan.org/republicationpolicy.htm</a></div>
<div><br></div><div>Submissions should contain original research not published or&nbsp;</div><div>submitted for publication elsewhere.</div><div><br></div><div>The URL for submission will be announced closer to the deadline.</div>
<div><br></div><div><br></div><div><br></div><div>GENERAL CHAIR</div><div><br></div><div>Andrew Kennedy &nbsp; &nbsp; &nbsp; Microsoft Research, Cambridge</div><div><br></div><div><br></div><div>PROGRAM CHAIR</div><div><br></div><div>Amal Ahmed &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Toyota Technological Institute, Chicago</div>
<div><br></div><div><br></div><div>PROGRAM COMMITTEE</div><div><br></div><div>Amal Ahmed &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Toyota Technological Institute, Chicago &nbsp;(Chair)</div><div>Juan Chen &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Microsoft Research</div><div>Peter Dybjer &nbsp; &nbsp; &nbsp; &nbsp; Chalmers University of Technology</div>
<div>Jeff Foster &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University of Maryland, College Park</div><div>Neal Glew &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Intel</div><div>Robert Harper &nbsp; &nbsp; &nbsp; &nbsp;Carnegie Mellon University</div><div>Andrew Myers &nbsp; &nbsp; &nbsp; &nbsp; Cornell University</div><div>Atsushi Ohori &nbsp; &nbsp; &nbsp; &nbsp;Tohoku University</div>
<div>Matthew Parkinson &nbsp; &nbsp;University of Cambridge</div><div>Didier Remy &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;INRIA Paris-Rocquencourt</div><div>Andreas Rossberg &nbsp; &nbsp; Max Planck Institute for Software Systems</div><div><br></div><div><br></div><div>STEERING COMMITTEE</div>
<div><br></div><div>Craig Chambers &nbsp; &nbsp; &nbsp; University of Washington</div><div>Robert Harper &nbsp; &nbsp; &nbsp; &nbsp;Carnegie Mellon University &nbsp;(Chair)</div><div>Xavier Leroy &nbsp; &nbsp; &nbsp; &nbsp; INRIA Paris-Rocquencourt</div><div>Greg Morrisett &nbsp; &nbsp; &nbsp; Harvard University</div>
<div>George Necula &nbsp; &nbsp; &nbsp; &nbsp;Rinera Networks and UC Berkeley</div><div>Atsushi Ohori &nbsp; &nbsp; &nbsp; &nbsp;Tohoku University</div><div>Francois Pottier &nbsp; &nbsp; INRIA Paris-Rocquencourt</div><div>Zhong Shao &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Yale University</div><div><br>
</div></div>