PLI 2002 - Workshops
Principles, Logics, and Implementations
of High-Level Programming Languages
October 3 - 8, 2002
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
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.
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:
Department of Computer Science
5000 Forbes Ave., Wean 8124
Carnegie Mellon University
Pittsburgh, PA 15213-3891
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|
|Saturday, Oct 5, 2002||Rule Based Programming|
|Verification and Computational Logic|
|Monday, Oct 7, 2002||Erlang workshop|
|Functional and Declarative Programming in Education|