PLI 2002 - Workshops


Principles, Logics, and Implementations
of High-Level Programming Languages
Pittsburgh, USA
October 3 - 8, 2002

  Call for proposals

Deadlines and News for the Workshop Organizers

Each workshop that publishes with ACM can set their individual deadlines for the submission of the final versions as long as they are compatible with the following time frame.

Monday August 19th. Signed copyright forms are due. Please find the form at here. Each author should submit the form to the workshop chair, who then collectively faxes the forms to (212) 869-0481 or sends them to
    Editor, [name of publication]
    c/o ACM Copyright & Permissions
    1515 Broadway, 17th Floor
    New York, NY 10036
Monday August 26th.

Camera ready hardcopies and electronic versions are due. This is a firm deadline. If Adrienne does not receive the camera ready hardcopies by then, there are no guarantees that the proceedings are done in a timely manner.

This means that the workshop organizers should collect the papers a few days earlier, let's say August 19th, 2002, in order to guarantee a timely completion of the proceedings.

The style used should be the ACM conference style. I have been talking with Adrienne about exceptions, but in the interest of uniformity and accessibility in the ACM Digital Library, we have decided that everybody should format their paper in the style proposed by the ACM.

On how to finish the camera ready version of the proceedings, please follow these instructions. For further questions, please contact Adrienne Griscti.

When you submit the camera ready version (including the text cover, table of contents, ...) of the proceedings please write with pencil the page number of each individual page on its back.

Papers should not exceed 15 pages in length. If you have papers that need more, please contact me.

The final proceedings should be a book which is organized as follows:

  1. Title page (normally a replica of the cover),
  2. Copyright page,
  3. Letter from the editor,
  4. Committee list,
  5. Table of contents,
  6. Author index.

The printed proceedings should be mailed to:

    PLI'02 c/o Jennifer Landefeld
    Department of Computer Science
    5000 Forbes Ave., Wean 8124
    Carnegie Mellon University
    Pittsburgh, PA 15213-3891
Jennifer will make arrangements to get anything shipped to me taken down to the hotel at the appropriate time.

The following seven workshops are part of PLI 2002. Please follow the links below to the individual workshops.

Thursday, Oct 3, 2002 Haskell workshop
Programming Technologies for XML
Scheme workshop
Saturday, Oct 5, 2002 Rule Based Programming
Verification and Computational Logic
Monday, Oct 7, 2002 Erlang workshop
Functional and Declarative Programming in Education