POPL 2004

Principles of Programming Languages

Welcome to the POPL 2004 submission site!

Electronic submission form.
Call for papers. Also available in PDF, Postscript (A4), Postscript (letter), and plain text.
Recommended styles for formatting submissions:
- LaTeX with CMR fonts
- LaTeX with Times fonts (unofficial SIGPLAN style, nicer than the ACM official style)
- LaTeX with Times fonts (the official ACM style; the ``alternate'' variant is recommended over the ``standard'' variant)
- MS Word
- WordPerfect and WordPerfect 9
Unsure whether a paper already presented at a workshop can be submitted? See the SIGPLAN republication policy or contact the program chair.

Submission deadline	Friday, July 18, 2003, 17:00 UTC/GMT
Notification of acceptance or rejection	Monday, September 22, 2003
Final paper due	Monday, November 24, 2003
Conference	January 14-16, 2004

Xavier Leroy
INRIA Rocquencourt

Neil D. Jones
DIKU (Computer Science Department)
University of Copenhagen

Agostino Cortesi
Università Ca' Foscari di Venezia

Martín Abadi, University of California at Santa Cruz
Zena Ariola, University of Oregon
David F. Bacon, IBM T.J Watson Research Center
Thomas Ball, Microsoft Research
Maurizio Gabbrielli, University of Bologna
Philippa Gardner, Imperial College
Robert Harper, Carnegie Mellon University
Atsushi Igarashi, Kyoto University
John Launchbury, Galois Connection Inc.
Xavier Leroy, INRIA Rocquencourt
Mooly Sagiv, Tel Aviv University
Michael Schwartzbach, BRICS, University of Aarhus
Peter Sewell, University of Cambridge
Mary Lou Soffa, University of Pittsburgh