TLDI 2011
The Sixth ACM SIGPLAN Workshop on
Types in Language Design and Implementation
TLDI 2011
The Sixth ACM SIGPLAN Workshop on
Types in Language Design and Implementation
Austin, Texas, USA
Tuesday, January 25, 2011
To be held in conjunction with POPL 2011
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 Sixth ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2011) aims to bring together researchers from around the globe to share exciting new ideas and results in this area. This year's workshop is the ninth in a series of international workshops, originating in 1997 as the Workshop on Types in Compilation (TIC).
| Submission deadline | October 11, 2010 (Monday), 21:00 Samoa-Apia Time |
| Notification | November 8, 2010 (Monday) |
| Final versions due | November 22, 2010 (Monday) |
| Workshop | January 25, 2011 (Tuesday) |
| General Chair: |
Stephanie Weirich |
||||||||||||||||||||||
|
Program Chair: |
Derek Dreyer |
||||||||||||||||||||||
|
Program Committee: |
| ||||||||||||||||||||||
|
Steering Committee: |
|
