posted by system || 4396 views || tracked by 28 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
 
Link: http://www.cs.ucsd.edu/popl/09/
 
When Jan 1, 2009 - Jan 31, 2009
Where Savannah, GA, USA
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

POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
COLT 2018   Computational Learning Theory
NATP 2017   3rd International Conference on Natural Language Processing
ECML-PKDD 2017   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
PODS 2017   36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
IJESA 2017   International Journal of Embedded Systems and Applications
CCEAI 2018   2018 2nd International Conference on Control Engineering and Artificial Intelligence (CCEAI 2018)
COLT 2018   Conference on Learning Theory