[TYPES/announce] Final Call-for-Papers POPL 2017, Paris, France [papers due by July 6, register by July 1]

David Baelde david.baelde at lsv.ens-cachan.fr
Fri Jun 24 15:41:41 EDT 2016

44th ACM SIGPLAN Symposium on Principles of Programming Languages
(POPL 2017)
January 18-20, 2017, Paris, France

The annual Symposium on Principles of Programming Languages is a forum
for the discussion of all aspects of programming languages and
programming systems. Both theoretical and experimental papers are
welcome, on topics ranging from formal frameworks to experience

The symposium is sponsored by ACM SIGPLAN, in cooperation with

Paper registration deadline: July 1, 2016
Paper submission deadline: July 6, 2016

NEW: full list of external review committee available online.

General chair:
Giuseppe Castagna -- CNRS & Université Paris Diderot

Program chair:
Andrew D. Gordon -- Microsoft Research and University of Edinburgh

Program committee:
Martin Abadi -- Google
Josh Berdine -- Facebook
Johannes Borgström -- Uppsala University
Avik Chaudhuri -- Facebook
Adam Chlipala -- MIT
Derek Dreyer -- MPI-SWS
Kathleen Fisher -- Tufts University
Marco Gaboardi -- University at Buffalo, SUNY
Ronald Garcia -- University of British Columbia
Cătălin Hriţcu -- Inria Paris
Bart Jacobs -- KU Leuven
Ranjit Jhala -- University of California, San Diego
Limin Jia -- Carnegie Mellon University
Zachary Kincaid -- Princeton University
Dexter Kozen -- Cornell University
Akash Lal -- Microsoft Research
Isabella Mastroeni -- University of Verona
Andrew Myers -- Cornell University
Michele Pagani -- Université Paris Diderot
Mooly Sagiv -- Tel Aviv University
Ilya Sergey -- University College London
Sharon Shoham -- Tel Aviv University
Rishabh Singh -- Microsoft Research
Sam Staton -- University of Oxford
Eijiro Sumii -- Tohoku University
David Van Horn -- University of Maryland
Nobuko Yoshida -- Imperial College London
Francesco Zappa Nardelli -- Inria Paris

See http://conf.researchr.org/track/POPL-2017/POPL-2017-papers
for full details, including the important dates and the submission

David Baelde, publicity chair

More information about the Types-announce mailing list