26-28 Jan 2011
Austin TX, U.S.A.
********************************************************************* * 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 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. 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 http://www.cs.tau.ac.il/conferences/popl11/. <http://www.cs.tau.ac.il/conferences/popl11/> 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: 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) ***************************************************************************