TLDI'05
TLDI is a workshop on the role of types in all aspects of language design, compiler construction, and software development. In recent years, type systems and type analyses 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 recognition of the expanding role of types, TLDI'03 expanded on the previous Workshops on Types in Compilation (TIC) to bring together researchers to share new ideas and results in this area.
New! Advance program is up. Please register online for POPL05 and TLDI05 ! Reduced fees deadline for registration is December 30.
The original Call For Papers contains information on the Organizing and Program Committees.
Workshop papers will be published under SIGPLAN Notices.
This year the workshop will be January 10th, preceding POPL'05. The workshop will be held at the Hyatt Regency in Long Beach, CA.
Program chair:
Manuel Fähndrich,
Microsoft Research,
maf@microsoft.com
General chair:
Gregory Morrisett,
Harvard University,
greg@eecs.harvard.edu