[TYPES/announce] Call for papers: POPL 2010

[Swarat Chaudhuri]

*********************************************************************
*                  37th ACM SIGPLAN-SIGACT Symposium
*                               on
*               Principles of Programming Languages
*                  
*                      January, 2010
*                      Spain (details to be announced later).
*                  
*                      Call for Papers
*                  
*                http://www.cse.psu.edu/popl/10
*           
*********************************************************************

Important dates:

Abstract submission                 8 July 2009 (Wednesday)
Paper submission                    15 July 2009 (Wednesday)
Author response period              17-18 September 2009 (Thursday-Friday)
Author notification                 1 October 2009 (Thursday)
Camera ready                        2 November 2009 (Monday)
Conference                          January 2010 (detailed dates
to be announced)


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.


Advice to Authors

Submissions on a diversity of topics are sought, particularly ones
that identify new research directions.  POPL 2009 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.

Explaining a known idea in a new way may make as strong a contribution
as inventing a new one.  Continuing a tradition established in POPL
2008, we encourage the submission of pearls: elegant essays that
illustrate an idea, for example by developing a short program.
(Advice on writing pearls can be found in the ICFP 2008 Call for
Papers.)  However, there is no formal separation of categories and no
need to explicitly label pearls as such: ALL papers, whether pearl or
otherwise, will be judged on a combination of correctness,
significance, novelty, clarity, and elegance.

Each paper 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.
More advice on writing technical papers can be found on the SIGPLAN
Author Information page.


Submission Guidelines

Authors should submit an abstract of at most 300 words and a full
paper of no more than 12 pages (including bibliography and
appendices).  The submission deadline and length limitations are firm.
Submissions that do not meet these guidelines may not be considered.

Submissions should be in standard ACM SIGPLAN conference format: two
columns, nine-point font on a ten-point baseline, with columns 20pc
(3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc
(0.33in). Detailed formatting guidelines are available on the SIGPLAN
Author Information page
(http://www.sigplan.org/authorInformation.htm), along with a LaTeX
class file and template.

Papers must be submitted in PDF format and printable on US Letter size
paper. Individuals for whom 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. Concurrent submissions to other conferences, workshops,
journals, or similar forums of publication are not allowed.

The ACM copyright notice is not required of submissions, only of
accepted papers.  Authors of accepted papers will be required to sign
the ACM copyright form. Proceedings will be published by ACM Press.
Categories and keywords need not be included in the submission.

The URL for submission of abstracts and papers will be announced
nearer to the deadline.


Author Response Period

Authors will have a 48-hour period 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 with accepted papers or posters are encouraged to apply for a
SIGPLAN PAC grant that will help to cover travel expenses to POPL. Details
on the PAC program and the application can be found at
http://www.sigplan.org/PAC.htm. PAC also offers support for companion
travel.

 
Conference Chair:  

Manuel Hermenegildo
Director, IMDEA-Software
C.S. Department
T.U. of Madrid (UPM)
herme at fi.upm.es


Program Chair:
 
Jens Palsberg
UCLA Computer Science Department
4531K Boelter Hall
Los Angeles, CA 90095, USA
palsberg at ucla.edu
 

Program Committee: 
 
Alex Aiken             (Stanford University)
Rajeev Alur             (University of Pennsylvania)
Cristiano Calcagno         (Imperial College, London)
Juan Chen             (Microsoft Research)
Wei-Ngan Chin             (National University of Singapore)
Mads Dam              (Royal Institute of Technology,
                                         Stockholm)
Erik Ernst                 (Aarhus University)
John Field                 (IBM T. J. Watson Research Center)
Cormac Flanagan           (UC Santa Cruz)
Roberto Giacobazzi             (Universita' degli Studi di Verona)
Rachid Guerraoui         (EPFL)
Sorin Lerner             (UC San Diego)
Calvin Lin             (University of Texas, Austin)
Atsushi Ohori             (Tohoku University)
Jens Palsberg             (UCLA)
Andrey Rybalchenko        (Max Planck Institute for Software Systems)
Amr Sabry                (Indiana University)
Mooly Sagiv            (Tel-Aviv University)
Peter Sewell            (University of Cambridge)
Tayssir Touili            (CNRS-LIAFA)


***************************************************************************