coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Andrew Kennedy <akenn AT microsoft.com>
- To: "coq-club AT pauillac.inria.fr" <coq-club AT pauillac.inria.fr>
- Subject: [Coq-Club] Call for Papers: TLDI 2010
- Date: Thu, 30 Jul 2009 14:58:53 +0100
- Accept-language: en-US
- Acceptlanguage: en-US
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
TLDI 2010 *** First Call for Papers *** The Fifth ACM SIGPLAN Workshop on Types in Language Design and Implementation Madrid, Spain, January 23, 2010 (Co-located with POPL 2010) http://research.microsoft.com/~akenn/tldi2010/ Submission Deadline: 5 October 2009 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 2010 is the
fifth workshop in the series and will be co-located with POPL
in Madrid, Spain in January 2010. Submissions for TLDI 2010 are invited on all interactions
of types with language design, implementation, and programming methodology. This includes both practical applications
and theoretical aspects. TLDI 2010 specifically encourages papers from a
broad field of programming language and compiler researchers,
including those working on object-oriented, dynamically-typed or
late-bound 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 utilizations of type information 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: Authors should submit a full paper of no more than 12
pages (including bibliography and appendices) by Monday 5th October, 2009.
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, along with a LaTeX class file and template. Papers must be submitted electronically via the
conference website in Adobe Portable Document Format (PDF) and must be
formatted for 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. Submissions should contain original research not
published or submitted for publication elsewhere. Important Dates: - Submission of papers: 5 October 2009 (Monday) - Notification: 6 November 2009 (Friday) - Final versions due: 15 November 2009 (Sunday) - Workshop: 23 January 2010 (Saturday) General Chair: Andrew Kennedy, Microsoft Research, UK Program Chair: Nick Benton, Microsoft Research, UK Program Committee: Gilles Barthe, IMDEA Software, Spain Viviana Bono, University of Torino, Italy Giorgio Ghelli, University of Pisa, Italy Dan Grossman, University of Washington, USA Atsushi Igarashi, Kyoto University, Japan Conor McBride, University of Strathclyde, UK Jeremy Siek, University of Colorado at Boulder, USA Zhong Shao, Yale University, USA Matthieu Sozeau, Harvard University, USA Chris Stone, Harvey Mudd College, USA Kristian Støvring, ITU Copenhagen, Denmark Steering Committee: Craig Chambers, University of Washington, USA Robert Harper, Carnegie Mellon University, USA (Chair) Xavier Leroy, INRIA Paris-Rocquencourt, France Greg Morrisett, Harvard University, USA George Necula, Rinera Networks and UC Berkeley, USA Atsushi Ohori, Tohoku University, Japan Francois Pottier, INRIA Paris-Rocquencourt, France Zhong Shao, Yale University, USA |
- [Coq-Club] Call for Papers: TLDI 2010, Andrew Kennedy
Archive powered by MhonArc 2.6.16.