The 31st Annual

 ACM SIGPLAN - SIGACT

 Symposium

on
Principles of Programming Languages

Venice, Italy

January 14-16, 2004

 

Home

Conference Hotels

Registration

Advance Program

Call For Papers (past due)

Conference Organizers

Affiliated Events

Conference Venue

Getting to Venice

 

Welcome to POPL 2004

POPL is the ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages.

POPL 2004 PICTURES from the Banquet

POPL 2004 Critical Information

Scope of the Conference Conference Organizers & Program Committee
Advance Program Affiliated Events
Conference Hotels Conference Location
Conference Registration (online reg. closed)  

Scope of the Conference

The annual Symposium on Principles of Programming Languages is a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions. Both practical and theoretical papers on principles and innovations are welcome, ranging from formal frameworks to reports on experiences with their use.

Submissions on a diversity of topics are sought, particularly ones that identify new research directions. POPL 2004 is not limited to topics discussed in previous symposia or to formal approaches. In particular, papers integrating new principles into widely used systems are encouraged. Authors concerned about the appropriateness of a topic may communicate by electronic mail with the program chair prior to submission. The official call for papers is available here (the deadline has passed).

Conference Location

This year the conference will be held in Venice, Italy, one of the most beautiful and unique cities in Europe. Information about the conference location and information about traveling to and from Venice is located here.  For tourist information, please see http://www.turismovenezia.it/eng/

Our accommodations page has information about hotels and rates for conference attendees.  The deadline for reserving hotels through the conference is November 30, 2003.  If you wish to share a room with another conference attendee, please contact KeyCongress, the business coordinating hotel accommodations for the conference, directly (contact information may be found on the accommodations page).

In addition, if you are searching for low-cost accommodations you may find a number of useful possibilities here, including links to low-cost hostels and hotels in downtown Venice.

Conference Organizers


Program Chair

Xavier Leroy

INRIA Rocquencourt
Domaine de Voluceau, B.P. 105
78153 Le Chesnay, France
Email:  xavier.leroy@inria.fr
Fax: + 33 - 1 - 39 63 51 93
Phone: + 33 - 1 - 39 63 55 61


General Chair:

Neil D. Jones

DIKU (Computer Science Department)
University of Copenhagen
Universitetsparken 1
DK-2100 Copenhagen East, Denmark
E-mail: neil@diku.dk
Fax: + 45 - 35321401
Phone: +45 - 35321410


Local Arrangements:

Agostino Cortesi

 

Dipartimento di informatica

Universita' ca' foscari

Via Torino 155

30170 Venezia

E-mail cortesi@dsi.unive.it

Phone:  0039 041 234.8450

Fax:  0039 041 234.8419

 

Program Committee:

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 & Oregon Graduate Institute
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

Treasurer:

Manuel Fahndrich, Microsoft Research

 

Publicity:

David Walker, Princeton Unversity

 

Affiliated Events

  • Fourth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'04)
    • Dates:  11-13 January 2004
    • Program Chairs:  Giorgio Levi, Bernhard Steffen
    • Keynote address:  David Harel, 13 January (4-5 PM).  All POPL attendees are invited to attend this talk.
    • Invited Speakers: 
      • Dawson Engler
      • Joshua Guttman
      • Mooly Sagiv

     

  • Semantics, Program Analysis, and Computing Environments for memory management (SPACE 2004)
    • Date:  Jan 12, 2004
    • General Chairs:  Fritz Henglein, Peter O'Hearn
    • Program Chairs:  Richard Jones, Greg Morrisett
    • Invited Speakers: 
      • Uday Reddy
      • David Walker

     

  • Programming Language Technologies for XML (PLAN-X 2004)
    • Date:  Jan 13, 2004
    • Program Chair: Michael I. Schwartzbach
    • General Chair: Erik Meijer
    • Invited Speaker: TBA

     

  • Foundations of Object-Oriented Languages (FOOL)
    • Date:  Jan 17, 2004
    • Program Chair:  Sophia Drossopolou
    • General Chair:  Benjamin C. Pierce
    • Invited Speaker: 
      • Martin Odersky
      • Alan Schmitt

     

  • Fourth Continuation Workshop (CW '04)
    • Date:  Jan 17, 2004
    • Program Chair:  Hayo Thielecke
    • Invited Speakers:
      • Chris Barker
      • Olivier Danvy

Suggestions or comments? Please contact David Walker (dpw at cs.princeton.edu).