POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Rome, Italy January 23-25, 2013

Important information

Paper registration	July 6, 2012, 11:59pm American Samoa time (UTC-11h) (Friday)
Paper submission	July 10, 2012, 11:59pm American Samoa time (UTC-11h) (Tuesday, firm)
Submission URL	https://popl2013.di.ens.fr/
Author response period	September 10, 2012 to September 13, 2012
Author notification	October 1, 2012 (Monday)
Camera-ready deadline	October 29, 2012
Early registration deadline	December 31, 2012
Registration URL	https://regmaster4.com/2013conf/POPL13/register.php
Student Session URL	http://wrigstad.com/popl13/
POPL'13 Proceedings	http://dl.acm.org/citation.cfm?id=2429069

The list of accepted papers and the conference program are available.

A document describing POPL ("Principles of POPL") and the POPL proceedings are also available.

NEW: Get the POPL'13 program and local information for smartphones from Guidebook

 

Get the POPL'13 and co-located events schedule for smartphones from ConfSchedule

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. Papers discussing new ideas and areas are most welcome, as are high-quality expositions or elucidations of existing concepts that are likely to yield new insights ("pearls").

Invited Speakers

• Andrew Myers (Cornell University): How languages can save distributed computing
• Noah Goodman (Stanford University): The principles and practice of probabilistic programming
• Shriram Krishnamurthi (Brown University): From principles to programming languages (and back)
• Georges Gonthier (Microsoft Research): Engineering mathematics: the odd order theorem proof

Location

POPL'13 will be held at the Parco dei Principi Hotel in Rome, Italy. For information about getting to Rome, accommodation, restaurants, etc., please visit the local arrangements pages.

Workshops and co-located events

• VMCAI: Verification, Model Checking, and Abstract Interpretation (20-22 January)
• SVARM: Workshop on Synthesis, Verification, and Analysis of Rich Models - Meeting of COST Action IC0109 Rich Model Toolkit (20 - 21 January)
• TutorialFest: POPL tutorials (21January)
• PADL: 15th International Symposium on Practical Aspects of Declarative Languages (21-22 January)
• PEPM: Partial Evaluation and Program Manipulation (21-22 January)
• ID: Interference and Dependence (21 January)
• cYak: Concurrency Yak at POPL (21 January)
• BEAT: Workshop on Behaviours and Types (22 January)
• DDFP: Workshop on Data Driven Functional Programming (22 January)
• PLPV: Programming Languages meets Program Verification (22 January)
• PLMW: Programming Language Mentoring Workshop (22 January)
• PPREW: 2nd Program Protection and Reverse Engineering Workshop (26 January)
• OBT: Off The Beaten Track: Underrepresented Problems for Programming Language Researchers (26 January)

Student Attendees

Students with accepted papers or students who are participating in the student session are encouraged to apply for a SIGPLAN PAC grant that will help covering travel expenses.

Organisers

General Chair:		Roberto Giacobazzi Università di Verona, Dipartimento di Informatica Strada Le Grazie 15, 37134 Verona, Italy
Workshop Co-Chairs:		Matthew Might University of Utah, USA
		David Van Horn Northeastern University, USA
Treasurer:		Bor-Yuh Evan Chang University of Colorado, USA
Publicity Chair:		Viktor Vafeiadis MPI-SWS, Germany
Student Activities Chair:		Tobias Wrigstad Uppsala University, Sweden
Program Chair:		Radhia Cousot École normale supérieure 45 rue d'Ulm, 75230 Paris cedex 05, France
Program Committee:

Josh Berdine	Microsoft Research, UK
Sebastian Burckhardt	Microsoft Research, USA
William R. Cook	University of Texas, Austin, USA
Radhia Cousot (chair)	CNRS & ÉNS & INRIA, France
Nils Anders Danielsson	Chalmers & Gothenburg U., Sweden
Işıl Dillig	College of William & Mary, USA
Manuel Fähndrich	Microsoft Research, USA
Xinyu Feng	U. of Sci. and Tech. of China, China
Andrew D. Gordon	MSR & Univ. of Edinburgh, UK
Manuel Hermenegildo	IMDEA Software, Spain
Eric Koskinen	New York University, USA
Xavier Leroy	INRIA, France
Francesco Logozzo	Microsoft Research, USA
Laurent Mauborgne	IMDEA Software, Spain
Andrzej Murawski	University of Leicester, UK
Peter O'Hearn	University College London, UK
Benjamin C. Pierce	University of Pennsylvania, USA
Sriram Rajamani	Microsoft Research, India
Francesco Ranzato	Università di Padova, Italy
Andreas Rossberg	Google, Germany
Andrei Sabelfeld	Chalmers & Gothenburg U., Sweden
Peter Sewell	University of Cambridge, UK
Yannis Smaragdakis	U. Athens, Greece & U. Mass., USA
Martin Vechev	ETH Zurich, Switzerland
David Walker	Princeton University, USA
Tobias Wrigstad	Uppsala University, Sweden
Kwangkeun Yi	Seoul National University, Korea

External Review Committee:   [Show external review committee]

Alex Aiken, Stanford University, USA Matthias Blume, Google, USA Gilles Barthe, IMDEA Software, Spain Lars Birkedal, IT U. of Copenhagen, Denmark Hans-J. Boehm, HP Labs, USA Avik Chaudhuri, Adobe Systems, USA Swarat Chaudhuri, Rice University, USA Derek Dreyer, MPI-SWS, Germany Michael Emmi, Univ. Paris Diderot, France Jérôme Feret, INRIA, France Cédric Fournet, Microsoft Research, UK Daniel Frampton, Australian National U., Australia Simon Gay, University of Glasgow, UK Giorgio Ghelli, Università di Pisa, Italy Benjamin Goldberg, New York University, USA Robert Grimm, New York University, USA Vineet Gupta, Google, USA Chris Hawblitzel, Microsoft Research, USA Jonathan Hayman, INRIA, France Michael Hicks, University of Maryland, USA Martin Hofmann, Ludwig-Maximilians U., Germany Ranjit Jhala, University of California, San Diego, USA K. Rustan M. Leino, Microsoft Research, USA Sorin Lerner, University of California, San Diego, USA Francesca Levi, Università di Pisa, Italy Yitzhak Mandelbaum, SEI-CMU Damien Massé, U. de Bretagne Occidentale, France Isabella Mastroeni, Università di Verona, Italy Maged M. Michael, IBM Research, USA Jan Midtgaard, Aarhus University, Denmark

Todd Millstein, Univ. of California, Los Angeles, USA Greg Morrisett, Harvard University, USA Leonardo de Moura, Microsoft Research, USA Andrew C. Myers, Cornell University, USA George Necula, Univ. of California, Berkeley, USA Tamiya Onodera, IBM Research, Japan Jens Palsberg, Univ. of California, Los Angeles, USA Prakash Panangaden, McGill University, Canada Erez Petrank, Technion, Israel Andreas Podelski, University of Freiburg, Germany François Pottier, INRIA, France Maurizio Proietti, CNR, Italy German Puebla, Univ. Politecnica de Madrid, Spain Martin C. Rinard, MIT, USA Xavier Rival, INRIA, France Sukyoung Ryu, KAIST, Korea Francesca Scozzari, Univ. di Chieti-Pescara, Italy Jeremy G. Siek, Univ. of Colorado, Boulder, USA Armando Solar-Lezama, MIT, USA James Stichnoth, Intel, USA Eijiro Sumii, Tohoku University, Japan Tachio Terauchi, Nagoya University, Japan Ashish Tiwari, SRI International, USA Viktor Vafeiadis, MPI-SWS, Germany David Van Horn, Northeastern University, USA Arnaud Venet, NASA Ames Research Center, USA Janis Voigtländer, University of Bonn, Germany Mitchell Wand, Northeastern University, USA Eran Yahav, Technion, Israel Francesco Zappa Nardelli, INRIA, France

Sponsors

Gold:

Silver:

Bronze: