You are here: Home / CFP Folder / Jul 14, 2010 - POPL 2011 (38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages)

Jul 14, 2010 - POPL 2011 (38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages)

January 26-28 2011 - Austin TX, USA
When Jul 14, 2010
Where Austin TX, USA
Add event to calendar vCal
iCal

Important dates

Paper submission July 14, 2010 (Wednesday)
Author response period       September 15-16, 2010 (Wednesday-Thursday)
Author notification October 8, 2010 (Friday)
Camera ready November 9, 2010 (Tuesday)
Conference January 26-28, 2011

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 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. A submission URL will be announced closer to the deadline.

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, 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.

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 here. PAC also offers support for companion travel.

Workshop and co-located events

A call for workshop and co-located events is available here.

What to do in Austin

Lots of information about what to do in Austin is available here.

Organizers

General Chair: Thomas Ball
Microsoft Research
One Microsoft Way, Redmond, WA 98052, USA.
tball@microsoft.com

 

Program Chair:

 

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

 

Program Committee:


 
Radhia Cousot École Normale Supérieure
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 Møller         Aarhus University
Peter Müller 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

 

Workshops Chair:

 

Matthew Might
University of Utah

 

Treasurer:

 

Bor-Yuh Evan Chang
University of Colorado, Boulder

 

Publicity:

 

Swarat Chaudhuri
Pennsylvania State University

 

POPL Logo:

 

Jan Christiansen
Christian-Albrechts University, Kiel

 



More information about this event…

Document Actions

Navigation
« December 2024 »
December
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
3031