posted by system || 9559 views || tracked by 25 users: [display]

POPL 2009 : The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

FacebookTwitterLinkedInGoogle


Conference Series : Symposium on Principles of Programming Languages
 
 
When Jan 1, 2009 - Jan 31, 2009
Where TBD
Abstract Registration Due Jul 8, 2008
Submission Deadline Jul 15, 2008
Categories    algorithms   computation theory   programming languages
 

Call For Papers

*********************************************************************
* ACM SIGPLAN-SIGACT Symposium *
* on *
* Principles of Programming Languages *
* *
* Thursday 10--Saturday 12 January 2008 *
* San Francisco, California, USA *
* *
* Call for Papers *
* *
* http://www.cs.ucsd.edu/popl/08 *
*********************************************************************
NEW: POPL 2008 encourages the submission of pearls, which are elegant
essays that illustrate an idea, often by developing a short
program. Please see below for details.
Important dates
Submission 11:00 PM Apia Time Monday 16 July 2007
Author response 11:00 PM Apia Time Monday 17 September 2007--
11:00 PM Apia Time Wednesday 19 September 2007
Notification Friday 28 September 2007
Camera ready Thursday 1 November 2007
Conference Thursday 10--Saturday 12 January 2008
Scope
The annual Symposium on Principles of Programming Languages is a forum
for the discussion of all aspects of programming languages and
systems, with emphasis on how principles underpin practice. Both
theoretical and experimental papers are welcome, on topics ranging
from formal frameworks to experience reports.
Submissions on a diversity of topics are sought, particularly ones
that identify new research directions. POPL 2008 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.
Pearls and Advice to Authors
Explaining a known idea in a new way may make as strong a contribution
as inventing a new idea. We encourage the submission of pearls:
elegant essays which illustrate an idea, often by developing a short
program. There is no formal separation of categories, but a pearl
should be labelled as such in its abstract. All papers, whether pearl
or otherwise, will be judged on their correctness, significance,
novelty, clarity, elegance, and beauty.
Pearls have long been an accepted form of submission for the Journal
of Functional Programming (JFP) and the International Conference on
Functional Programming (ICFP). Advice on writing pearls can be
found in the ICFP 2006 Call for Papers:
http://icfp06.cs.uchicago.edu/icfp06-cfp.html
Each paper, pearl or otherwise, should explain its contributions in
both general and technical terms, identifying what has been
accomplished, explaining why it is significant, and comparing it with
previous work. Authors should strive to make their papers
understandable to a broad audience. Advice on writing technical
papers can be found on the SIGPLAN Author Information page:
http://www.acm.org/sigs/sigplan/authorInformation.htm
Unlike in 2007, there are no special categories of short and long
submissions.
Submission guidelines
Submissions must be filed at the web site by 11:00 PM Monday 16 July,
Apia, Samoa time. Some equivalents to this time are
* San Francisco: 3:00 AM (17 July)
* New York: 6:00 AM (17 July)
* Chicago: 5:00 AM (17 July)
* London: 11:00 AM (17 July)
* Paris: Noon (17 July)
* Hong Kong: 6:00 PM (17 July)
* UTC: 10:00 AM (17 July)
For other time-zones/locations, see the Worldclock at the following
URL:
http://www.timeanddate.com/worldclock/fixedtime.html?month=7&day=16&year=2007&hour=23&min=0&sec=0&p1=282
Submissions will be carried out electronically via the Web,
at the Submission URL:
http://quad.softconf.com/start/popl08/submit.html
Authors should submit an abstract of at most 300 words and a full
paper of no more than 12 pages (including bibliography and
appendices). Submissions that do not meet these guidelines will not
be considered. The submission deadline and length limitations are
firm.
Submissions should be 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, along with a LaTex class
file and template, are available on the SIGPLAN Author Information
page:
http://www.acm.org/sigs/sigplan/authorInformation.htm
You need not include categories or keywords in the submission, though
you are welcome to do so. The ACM copyright notice is not required of
submissions, only of accepted papers.
Papers must be submitted in PDF format and printable on
US Letter size 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 the SIGPLAN Republication Policy:
http://acm.org/sigplan/republicationpolicy.htm
Concurrent submissions to other journals, conferences, workshops, or
similar forums of publication are not allowed.
Authors of accepted papers will be required to sign the ACM copyright
form. Proceedings will be published by ACM Press.
Author Response Period
Authors will be given a 48-hour period (from 11:00 PM Apia Time Monday
17 September to 11:00 PM Apia Time Wednesday 19 September) to read and
respond to the reviews of their papers before the PC meeting. Details
of the response process will be announced by e-mail a few days
beforehand.
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
George Necula
Electrical Engineering and Computer Science Department
University of California
Berkeley, CA 94720, USA
necula@cs.berkeley.edu
Program Chair
Philip Wadler
School of Informatics, University of Edinburgh
James Clerk Maxwell Building, King's Buildings
Mayfield Road, Edinburgh EH9 3JZ
popl-08@inf.ed.ac.uk
Program Committee
Amal Ahmed, Toyota Technological Institute, Chicago
Lars Birkedal, ITU Copenhagen
Guy Blelloch, Carnegie-Mellon University
Gilad Bracha, Cadence Design Systems
Byron Cook, Microsoft Research
Thierry Coquand, Chalmers University
Vincent Danos, Paris VII
Robby Findler, University of Chicago
Neal Glew, Intel
Haruo Hosoya, University of Tokyo
Matthew Hennessy, University of Sussex
Ranjit Jhala, University of California, San Diego
Tobias Nipkow, Technische Universitat Munchen
James Noble, Victoria University of Wellington
Sanjiva Prasad, IIT Delhi
Zhong Shao, Yale University
Yannis Smaragdakis, University of Oregon
Eijiro Sumii, Tohoku University
Peter Thiemann, Universitat Freiburg
Peter Van Roy, Universite catholique de Louvain
Jan Vitek, Purdue University
Nobuko Yoshida, Imperial College London
Steve Zdancewic, University of Pennsylvania

Related Resources

ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
PPDP 2024   The 26th International Symposium on Principles and Practice of Declarative Programming
CVIPPR 2024   2024 2nd Asia Conference on Computer Vision, Image Processing and Pattern Recognition
CP 2024   Principles and Practice of Constraint Programming
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
ACM-Ei/Scopus-CMLDS 2024   2024 International Conference on Computing, Machine Learning and Data Science (CMLDS 2024)
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)