473,287 Members | 3,228 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

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

POPL 08 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/worldcloc...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
ne****@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
po*****@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

Jun 9 '07 #1
0 1602

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

Similar topics

0
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/
0
by: dpw | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
0
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....
0
by: sorin.lerner | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
0
by: sorin.lerner | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
0
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...
0
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...
0
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/...
0
by: Fortis Florin | last post by:
CALL FOR PAPERS: Workshop on Workflow and Process Management (WfPM'08), September 2008, Timisoara, Romania ...
0
by: MeoLessi9 | last post by:
I have VirtualBox installed on Windows 11 and now I would like to install Kali on a virtual machine. However, on the official website, I see two options: "Installer images" and "Virtual machines"....
0
by: DolphinDB | last post by:
The formulas of 101 quantitative trading alphas used by WorldQuant were presented in the paper 101 Formulaic Alphas. However, some formulas are complex, leading to challenges in calculation. Take...
0
by: DolphinDB | last post by:
Tired of spending countless mintues downsampling your data? Look no further! In this article, you’ll learn how to efficiently downsample 6.48 billion high-frequency records to 61 million...
0
by: Aftab Ahmad | last post by:
So, I have written a code for a cmd called "Send WhatsApp Message" to open and send WhatsApp messaage. The code is given below. Dim IE As Object Set IE =...
0
by: marcoviolo | last post by:
Dear all, I would like to implement on my worksheet an vlookup dynamic , that consider a change of pivot excel via win32com, from an external excel (without open it) and save the new file into a...
0
by: Vimpel783 | last post by:
Hello! Guys, I found this code on the Internet, but I need to modify it a little. It works well, the problem is this: Data is sent from only one cell, in this case B5, but it is necessary that data...
0
by: jfyes | last post by:
As a hardware engineer, after seeing that CEIWEI recently released a new tool for Modbus RTU Over TCP/UDP filtering and monitoring, I actively went to its official website to take a look. It turned...
0
by: ArrayDB | last post by:
The error message I've encountered is; ERROR:root:Error generating model response: exception: access violation writing 0x0000000000005140, which seems to be indicative of an access violation...
1
by: PapaRatzi | last post by:
Hello, I am teaching myself MS Access forms design and Visual Basic. I've created a table to capture a list of Top 30 singles and forms to capture new entries. The final step is a form (unbound)...

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.