[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] POPL 2011: Call for Papers

*                  38th ACM SIGPLAN-SIGACT Symposium
*                               on
*               Principles of Programming Languages
*                      January 26-28, 2011
*                      Austin, Texas, USA.
*                      Call for Papers
*                http://www.cse.psu.edu/popl/11

Important dates:

Abstract submission                 9pm PST, July 8, 2010 (Thurs)
Paper submission                    9pm PST, July 15, 2010 (Thurs)
Author response period              September 15-16, 2010 (Wed-Thurs)
Author notification                 October 8, 2010 (Fri)
Camera ready                        November 9, 2010 (Tue)
Conference                          January 26-28, 2011


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 2011 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 is

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

Conference Chair:  

Thomas Ball
Microsoft Research
One Microsoft Way, Redmond, WA 98052, USA.
tball at microsoft.com

Program Chair:
Mooly Sagiv
Schreiber 317, School of Computer Science
Tel-Aviv University,
Tel-Aviv 69978, Israel
msagiv at post.tau.ac.il

Program Committee: 
Radhia Cousot       (Ecole Normale Superieure)
Oege de Moor        (Oxford University Computing Laboratory)
Derek Dreyer        (MPI-SWS)
Azadeh Farzan       (University of Toronto)
Kathleen Fisher     (AT&T Laboratories)
Matthew Fluet       (Rochester Institute of Technology)
Jeff Foster         (University of Maryland)
Stephen Freund      (Williams College)
Philippa Gardner    (Imperial College, London)
Dan Grossman        (University of Washington)
Sumit Gulwani       (Microsoft Research)
Tim Harris          (Microsoft Research)
Naoki Kobayashi     (Tohoku University)
Viktor Kuncak       (EPFL)
Ken McMillan        (Cadence Research Laboratories)
Anders Moeller      (Aarhus University)
Peter Muller        (ETH Zurich)
Aleks Nanevski      (IMDEA Software)
David Naumann       (Stevens Institute of Technology)
Prakash Panangaden  (McGill University)
G. Ramalingam       (Microsoft Research)
Jan Vitek           (Purdue University)
Eran Yahav          (IBM Research)
Hongseok Yang       (Queen Mary, University of London)
Steve Zdancewic     (University of Pennsylvania)