POPL 2006 Call for Papers (Charleston SC, Jan 06)

Discussion in 'Perl Misc' started by dpw@cs.princeton.edu, Jun 1, 2005.

  1. Guest

    * ACM SIGPLAN-SIGACT Symposium *
    * on *
    * Principles of Programming Languages *
    * *
    * January 11-13, 2006 *
    * Charleston Place Hotel *
    * Charleston, South Carolina *
    * *
    * Call for Papers *
    * *
    * http://www.cs.princeton.edu/~dpw/popl/06/ *

    Important dates

    * Submission deadline: 23:00 18 July, 2005 Samoan time
    * Author review period: 23:00 12 Sept to 23:00 14 Sept, 2005, Samoan
    * Author notification: 26 Sept, 2005
    * Final paper due: To be announced.


    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 experimental and theoretical papers on
    principles and innovations are welcome, ranging from formal frameworks
    to reports on practical experiences.

    Submissions on a diversity of topics are sought, particularly ones that
    identify new research directions. POPL 2006 is not limited to topics
    discussed in previous symposia. Authors concerned about the
    appropriateness of a topic may communicate by electronic mail with the
    program chair prior to submission.

    Submission guidelines

    Due date & time: Submissions must be filed at the web site by 23:00
    Monday 18 July, Apia, Samoa time. Some equivalents to this time are

    * New York: 5:00 AM = 5h00 (19 July)
    * San Francisco: 2:00 AM = 2h00 (19 July)
    * Chicago: 4:00 AM = 4h00 (19 July)
    * Paris: Noon (19 July)
    * Hong Kong: 6:00 PM = 18h00 (19 July)
    * UTC: 10:00 AM (19 July)

    Submission URL: To be announced. Check the main POPL 2006 website.

    Authors should submit a 100-200 word abstract and a full paper by 23:00
    Apia, Samoa Time on Monday, 18 July, 2005. Submissions should be no
    more than 12 pages (including bibliography) in standard ACM SIGPLAN
    conference format: two columns, nine-point font on a ten-point
    baseline, with pages 20pc (3.33in) wide and 54pc (9in) tall, with a
    column gutter of 2pc (0.33in). Detailed formatting guidelines are
    available at http://www.acm.org/sigs/sigplan/authorInformation.htm,
    along with formatting templates or style files for LaTeX. You don't
    need to include categories, keywords, etc., though you are welcome to
    do so. Also, note that the ACM copyright notice is not required of
    submissions, only of accepted papers.

    Authors wishing to supply additional material to the reviewers beyond
    the 12-page limit can do so in clearly marked appendices, on the
    understanding that reviewers are not required to read the appendices.
    Submissions that do not meet these guidelines will not be considered.
    The submission deadline and length limitations are firm.

    Submissions will be carried out electronically via the Web, at the URL
    given above. Papers must be submitted in either PDF format or as
    PostScript documents that are interpretable by Ghostscript. They must
    be printable on US Letter sized paper. Individuals for which this
    requirement is a hardship should contact the program chair at least one
    week before the deadline.

    Submitted papers must adhere to SIGPLAN's republication policy. Each
    paper should explain its contributions in both general and technical
    terms, clearly identifying what has been accomplished, explaining why
    it is significant, and comparing it with previous work. Authors should
    strive to make the technical content of their papers understandable to
    a broad audience.

    Authors will be given a 2-day period (23:00 12 Sept. to 23:00 14 Sept.
    2005 Samoa time) to read and respond to the reviews for their papers
    before the PC meeting. Authors of submitted papers will receive more
    details from the submission site.

    Authors of accepted papers will be required to sign the ACM copyright
    form. Proceedings will be published by ACM Press.

    Student Attendees

    Students who have a paper accepted for the conference are offered
    student membership of SIGPLAN free for one year. As members of SIGPLAN
    they may apply for travel fellowships from the PAC fund.

    Conference Chair

    Greg Morrisett
    Harvard University
    33 Oxford Street
    Cambridge, MA 02138 USA
    greg at eecs dot harvard dot edu

    Program Chair

    Simon Peyton Jones
    Microsoft Research Ltd,
    7 JJ Thomson Ave,
    Cambridge CB3 0FB, UK

    Program Committee

    * Giuseppe Castagna, CNRS, LIENS, ENS Paris
    * Manuel Chakravarty, University of New South Wales
    * Karl Crary, Carnegie Mellon University
    * Sophia Drossopoulou, Imperial College London
    * Paul Feautrier, ENS Lyon
    * Carl A Gunter, University of Illinois
    * Rajiv Gupta, University of Arizona
    * Fritz Henglein, DIKU, University of Copenhagen
    * Trevor Jim, AT&T
    * Shriram Krishnamurthi, Brown University
    * Gary T Leavens, Iowa State
    * Robert O'Callahan, Novell
    * Peter O'Hearn, Queen Mary, University of London
    * Andreas Podelski, Max Planck Institute, Saarbr├╝cken
    * Andrei Sabelfeld, Chalmers University
    * Kostis Sagonas, Uppsala University
    * Davide Sangiorgi, University of Bologna
    * Philip Wadler, University of Edinburgh
    * Stephanie Weirich, University of Pennsylvania
    * Hongwei Xi, Boston University

    Affiliated Events

    * Foundations of Object Oriented Languages (FOOL)
    * January 14, 2006

    * Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
    * January 9-10, 2006

    * Practical Applications of Declarative Languages (PADL)
    * January 9-10, 2006

    * Programming Language Technologies for XML (PLAN-X)
    * January 14, 2006

    * Semantics, Program Analysis and Computing Environments
    for Memory Management (SPACE 2006)
    * January 14, 2006

    * Verification, Model Checking and Abstract Interpretation (VMCAI)
    * January 8-10, 2006
    , Jun 1, 2005
    1. Advertisements

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. A. M. G. Solo
    A. M. G. Solo
    Nov 21, 2005
  2. Replies:
  3. Replies:
  4. John Hatcliff
    John Hatcliff
    Aug 23, 2005
  5. POPL 2006 Call for Papers

    , May 31, 2005, in forum: C Programming
  6. Replies:
  7. POPL 07 Call for Papers

    , May 22, 2006, in forum: C Programming
  8. POPL 08 Call for Papers

    , Jun 9, 2007, in forum: C Programming