472,958 Members | 2,338 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 472,958 software developers and data experts.

POPL 08 Call for Papers

************************************************** *******************
* 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

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:


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:


Unlike in 2007, there are no special categories of short and long
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


Submissions will be carried out electronically via the Web,
at the Submission URL:


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

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


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

Submitted papers must adhere to the SIGPLAN Republication Policy:


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
Student Attendees

Students who have a paper accepted for the conference are offered
student membership of SIGPLAN free for one year. As members of
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

Program Chair

Philip Wadler
School of Informatics, University of Edinburgh
James Clerk Maxwell Building, King's Buildings
Mayfield Road, Edinburgh EH9 3JZ
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

Jun 9 '07 #1
0 1574

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

by: Hubert Baumeister | last post by:
Fifth International Conference on eXtreme Programming and Agile Processes in Software Engineering XP2004 June 6-10, 2004, Garmisch-Partenkirchen, Germany http://www.xp2004.org/
by: dpw | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
by: Armin Rigo | last post by:
Hi all, A shameless plug and reminder for EuroPython 2006 (July 3-5): * you can submit talk proposals until May 31st. * there is a refereed papers track; deadline for abstracts: May 5th....
by: sorin.lerner | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
by: sorin.lerner | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
by: arigo | last post by:
Hi all, He're a reminder to submit a talk at EuroPython! Like each year, we have both the regular conference (see call at http://indico.cern.ch/conferenceCFA.py?confId=13919) and a somewhat...
by: Nicola Larosa | last post by:
PyCon Uno: Python first Italian conference about Python. Call for Papers =============== Important dedalines ------------------- * April 30, 2007 Submission of paper and tutorial...
by: icmla | last post by:
CALL FOR PAPERS The Sixth International Conference on Machine Learning and Applications ICMLA 2007 December 13-15, 2007 Cincinnati, OH, USA http://www.cs.csubak.edu/~icmla/icmla07/...
by: Fortis Florin | last post by:
CALL FOR PAPERS: Workshop on Workflow and Process Management (WfPM'08), September 2008, Timisoara, Romania ...
by: lllomh | last post by:
Define the method first this.state = { buttonBackgroundColor: 'green', isBlinking: false, // A new status is added to identify whether the button is blinking or not } autoStart=()=>{
by: Aliciasmith | last post by:
In an age dominated by smartphones, having a mobile app for your business is no longer an option; it's a necessity. Whether you're a startup or an established enterprise, finding the right mobile app...
by: tracyyun | last post by:
Hello everyone, I have a question and would like some advice on network connectivity. I have one computer connected to my router via WiFi, but I have two other computers that I want to be able to...
by: NeoPa | last post by:
Hello everyone. I find myself stuck trying to find the VBA way to get Access to create a PDF of the currently-selected (and open) object (Form or Report). I know it can be done by selecting :...
by: NeoPa | last post by:
Introduction For this article I'll be using a very simple database which has Form (clsForm) & Report (clsReport) classes that simply handle making the calling Form invisible until the Form, or all...
by: Teri B | last post by:
Hi, I have created a sub-form Roles. In my course form the user selects the roles assigned to the course. 0ne-to-many. One course many roles. Then I created a report based on the Course form and...
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 1 Nov 2023 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM) Please note that the UK and Europe revert to winter time on...
by: nia12 | last post by:
Hi there, I am very new to Access so apologies if any of this is obvious/not clear. I am creating a data collection tool for health care employees to complete. It consists of a number of...
by: NeoPa | last post by:
Introduction For this article I'll be focusing on the Report (clsReport) class. This simply handles making the calling Form invisible until all of the Reports opened by it have been closed, when it...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.