[TYPES] CFP: TLDI 2005 - Types in Language Design and Implementation

[Manuel Fahndrich]

Please circulate the following call for papers. Thanks, Manuel Fahndrich.
-------------------------------------------------------------------------


		   Second International Workshop on
       Types in Programming Language Design and Implementation
			      (TLDI'05)

	      http://research.microsoft.com/~maf/tldi05

			colocated with POPL'05
		Long Beach, California, January 10, 2005


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. The goal of this workshop and previous TLDI and TIC workshops
is to bring together researchers to share new ideas and results in
these areas.

Submissions for this event are invited on all interactions of types
with language design, implementation, and programming. This includes
both practical applications and theoretical aspects. We specifically
encourage papers from a broad field of programming language and
compiler researchers, including those working in systems programming,
object-oriented, dynamically-typed, late-binding, and mobile-code
paradigms, as well as traditional fully-static type systems. Topics of
interest include but are not limited to:

 - Proof-carrying code and certifying compilation
 - Typed intermediate languages and type-directed compilation 
 - Type-based language support for safety and security 
 - Types for interoperability 
 - Type safety and security of 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 

Papers on novel utilizations of type information are also welcome.


SUBMISSIONS:

We solicit submissions on original research not published or submitted
for publication elsewhere. Technical summaries, in English and not to
exceed 10 pages ACM format, should be submitted via the Web submission
form at 

	      http://research.microsoft.com/~maf/tldi05

by Monday, September 27, 2004. 

Adobe Portable Document Format (PDF) is strongly preferred for all
submissions. Authors should be sure to use full font inclusion to
ensure portability. All papers must be formatted for US Letter
(8.5"x11") paper. Postscript (PS) format submissions will also be
accepted, provided that they preview and print properly using
Ghostscript with standard fonts.

Proceedings will be published by ACM-SIGPLAN.



IMPORTANT DATES:

  Submission deadline:		Monday, September 27, 2004, 5PM PST	
  Notification:			Monday, October 25, 2004
  Camera-ready copy due:	Monday, November 15, 2004
  Workshop in Long Beach:	Monday, January 10, 2005.


PROGRAM COMMITTEE:

  Todd Millstein     <todd at cs.ucla.edu>
  Carsten Schuermann <carsten at cs.yale.edu>
  Yasuhiko Minamide  <minamide at score.is.tsukuba.ac.jp>
  Dominic Duggan     <dduggan at cs.stevens-tech.edu>
  Peter Sewell       <Peter.Sewell at cl.cam.ac.uk>
  François Pottier   <Francois.Pottier at inria.fr>
  Cormac Flanagan    <cormac at cs.ucsc.edu>               
  Karl Crary	     <crary at cs.cmu.edu>
  Manuel Fahndrich   <maf at microsoft.com>


CONTACTS:

  Program chair:  Manuel Fahndrich			   
		      Microsoft Research			   

		      maf at microsoft.com			   
		      http://research.microsoft.com/~maf/tldi04


  General chair:  Gregory Morrisett 
		      Harvard University

		      jgm at cs.cornell.edu