[TYPES/announce] Second 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
Wed Jun 1 08:53:08 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
reports.

The symposium is sponsored by ACM SIGPLAN, in cooperation with
ACM SIGACT and ACM SIGLOG.

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

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

David Baelde, publicity chair


More information about the Types-announce mailing list