[TYPES/announce] POPL 2019 Call for Papers

[Michael Greenberg]

# POPL 2019 Call for Papers

POPL 2019 will take place at the Hotel Cascai Miragem in
Cascais/Lisbon, January 16-18, 2019.

The annual Symposium on Principles of Programming Languages is a forum
for the discussion of all aspects of programming languages and
programming systems. We seek submissions that make principled,
enduring contributions to the theory, design, understanding,
implementation or application of programming languages.

Co-located events run from January 13th through January 19th.

You can read the full call for papers on the POPL 2019 website.
https://popl19.sigplan.org/track/POPL-2019-Research-Papers#POPL-2019-Call-for-Papers

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

# Important Dates (by the end of the day, anywhere on earth,
   i.e. UTC-12h)

Submission deadline - Wed 11 Jul 2018
Start of rebuttal period - Mon 17 Sep 2018
End of rebuttal period - Thu 20 Sep 2018

# New this year

- Page limit is 25 pages (excluding references)
- Distinguished paper awards (at most 10% of papers)

# Submission guidelines

Submissions are in the PACMPL format, 25pp limit.
   http://www.sigplan.org/Resources/Author/

Submissions are via HotCRP.
   https://popl19.hotcrp.com/

Concurrent submissions to other conferences, workshops, journals, or
similar forums of publication are not allowed.

Reviews are double blind. See the online CfP for details.
https://popl19.sigplan.org/track/POPL-2019-Research-Papers#POPL-2019-Call-for-Papers

# Other details

All papers accepted to POPL 2019 will be published as part of the ACM
Gold Open Access journal, Proceedings of the ACM on Programming
Languages (PACMPL).

For information about distinguished papers, artifact evaluation,
PACMPL and copyright, and presentations, please see the online CfP.
https://popl19.sigplan.org/track/POPL-2019-Research-Papers#POPL-2019-Call-for-Papers

# Program Committee

Program chair: Stephanie Weirich - University of Pennsylvania, USA
General chair: Fritz Henglein - University of Copenhagen, Denmark

Aaron Stump - The University of Iowa, USA
Alan Jeffrey - Mozilla Research, USA
Andreas Abel - Gothenburg University, Sweden
Andreas Podelski - University of Freiburg, Germany
Andrew Tolmach - Portland State University, USA
Aws Albarghouthi - University of Wisconsin-Madison, USA
Benjamin Delaware - Purdue University, USA
Claudio Russo - Microsoft Research, Cambridge, UK
Danel Ahman - Inria, France
David Naumann - Stevens Institute of Technology, USA
Dimitrios Vytiniotis - Microsoft Research, Cambridge
Dominic Orchard - University of Kent, UK
Gabriel Scherer - INRIA Saclay, France
Gavin Bierman - Oracle Labs, USA
Heather Miller - Ecole Polytechnique Federale de Lausanne, Switzerland
Hongjin Liang - Nanjing University, China
Hugo Herbelin - INRIA Rocquencourt-Paris, France
Ichiro Hasuo - National Institute of Informatics, Japan
Ilya Sergey - University College London, UK
Jacques Garrigue - Nagoya University, Japan
Jan Hoffmann - Carnegie Mellon University, USA
Jean-Philippe Bernardy - University of Gothenburg, Sweden
June Andronick - Data61, CSIRO (formerly NICTA) and UNSW, Australia
Justin Hsu - University College London, USA
P. Madhusudan - University of Illinois at Urbana-Champaign, USA
Martin Erwig - Oregon State University, USA
Matthew Hammer - University of Colorado Boulder, USA
Matthew Parkinson - Microsoft Research, UK
Mayur Naik - University of Pennsylvania, USA
Michael D. Adams - University of Utah, USA
Michael Emmi - SRI International, USA
Michael Greenberg - Pomona College, USA
Nate Foster - Cornell University, USA
Nicolas Tabareau - INRIA and University de Nantes, France
Nikhil Swamy - Microsoft Research, USA
Niki Vazou - University of Maryland, USA
Nils Anders Danielsson - University of Gothenburg, Chalmers University 
of Technology, Sweden
Noam Zeilberger - University of Birmingham, UK
Ori Lahav - Tel Aviv University, Israel
Patricia Johann - Appalachian State University, USA
Peter O'Hearn - Facebook, USA
Peter Selinger - Dalhaousie University, Canada
Radu Grigore - University of Kent, UK
Robbert Krebbers - Delft University of Technology, Netherlands
Robert Atkey - University of Strathclyde, UK
Ryan R. Newton - Indiana University, USA
Sam Tobin-Hochstadt - Indiana University, USA
Scott Owens - University of Kent, UK
Suresh Jagannathan - Purdue University, USA
Swarat Chaudhuri - Rice University, USA
Zhenjiang Hu - National Institute of Informatics, Japan