Final CFP: TLDI'03 (Deadline: 5PM EDT, Sept 27, 2002) 
Author Message
 Final CFP: TLDI'03 (Deadline: 5PM EDT, Sept 27, 2002)

                            FINAL CALL FOR PAPERS

                        The ACM SIGPLAN Workshop on
                Types in Language Design and Implementation
 (Formerly called TIC, The International Workshop on Types in Compilation)

                    http://www.*-*-*.com/ ~petel/tldi03/

                             January 18, 2003
                          New Orleans, Louisiana
                          Co-located with POPL'03

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 recognition of
this expanding role, the ACM SIGPLAN Workshop on Types in Language Design
and Implementation (TLDI'03) expands on the previous three International
Workshops on Types in Compilation (TIC'97, TIC'98 and TIC'00), to bring
together researchers to share new ideas and results in this area.  This
year, TLDI'03 will be sponsored by ACM SIGPLAN and colocated with POPL'03.

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.  TLDI'03 specifically
encourages papers from a broad field of programming language and compiler
researchers, including those working in object-oriented, dynamically-typed,
late-binding, and mobile-code paradigms, as well as traditional
fully-static type systems.  Topics of interest include:

 - 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

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.


We solicit submissions on original research not published or submitted for
publication elsewhere.  Technical summaries, in English and not to exceed
5000 words (approximately 10 pages), should be submitted to the program
chair by FRIDAY, SEPTEMBER 27, 2002.  Because of hard constraints imposed
for the publication of the proceedings, this is a hard deadline.


To submit a paper, authors should complete the following two steps by the
submission deadline:

    authors' contact information, and an abstract (not to exceed 200 words)
    in ASCII.

 2) Send the technical summary itself. The summary should also be sent

    submission poses a hardship may make individual arrangements with the
    program chair.)

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.

All submissions must include a return postal address and an electronic mail
address.  Receipt of the submissions will be acknowledged by e-mail within 2

The proceedings for the workshop will be published by the ACM Press.


Please note: Due to the short time from submission to publication of the
proceedings, the submission deadlines given above are firm.

 - 5:00 PM EDT (= 21:00 UTC), September 27, 2002
   Deadline for submission of papers

 - Friday, Nov. 8, 2002
   Notification of acceptance

 - Monday, Dec. 2, 2002
   Camera-ready copy due

 - Saturday, Jan. 18, 2003
   TLDI'03 in New Orleans

Peter Lee
School of Computer Science
5000 Forbes Avenue
Carnegie Mellon University
Pittsburgh, Pennsylvanie 15213-3891

Tel.: +1-412-268-3049
Fax: +1-412-268-5577

Zhong Shao
Department of Computer Science
51 Prospect Street
Yale University
New Haven, Connecticut 06520-8285

Tel: +1-203-432-6828


Alex Aiken, University of California, Berkeley
Andrew Appel, Princeton University
David F. Bacon, IBM T.J. Watson Research Center
Manuel Fahndrich, Microsoft Research
Matthew Flatt, University of Utah
Atsushi Igarashi, Kyoto University
Peter Lee, Carnegie Mellon University
Xavier Leroy, INRIA
Christine Paulin-Mohring, University of Paris South
Scott Smith, The Johns Hopkins University
Philip Wadler, Avaya Labs


Craig Chambers, University of Washington
Robert Harper (Chair), Carnegie Mellon University
Xavier Leroy, INRIA
Gregory Morrisett, Cornell University
Atsushi Ohori, JAIST
Zhong Shao, Yale University

Thu, 24 Feb 2005 23:39:44 GMT  
 [ 1 post ] 

 Relevant Pages 

1. DIPLCL'99 deadline extended to Sept 3 - Final CFP

2. DIPLCL'99 deadline extended to Sept 3 - Final CFP

3. TLDI'03 Call for Papers

4. TLDI'03 Call for Papers

5. #pcferret chat at 9PM GMT (5PM EDT)

6. #pcferret a 9PM GMT (5PM EDT) Topic is HDML development with Clarion

7. Final Call for Participation: IFL'96, Bonn Sept 16th - Sept 18th 1996

8. ECAI and PAIS 2002 last CFP - STAIRS 2002 CFP

9. Final CFP for Static Analysis Symposium SAS'95 (deadline mid-April)

10. Final CFP: MTV'02 deadline on March 25

11. Final CFP for Static Analysis Symposium SAS'95 (deadline mid-April)

12. COOTS '01 Submission Deadline July 27, 2000


Powered by phpBB® Forum Software