View source for POPL 2018

{{Event
|Acronym=POPL 2018
|Title=45th ACM SIGPLAN Symposium on Principles of Programming Languages
|Series=POPL
|Type=Conference
|Field=Programming language
|Start date=2018/01/07
|End date=2018/01/13
|Submission deadline=2017/07/07
|Homepage=https://popl18.sigplan.org/
|Twitter account=@poplconf
|City=Los Angeles
|State=California
|Country=USA
|Poster deadline=2017/10/30
|Notification=2017/09/29
|Submitting link=https://popl18.hotcrp.com
|Has host organization=ACM SIGPLAN
|has general chair=Ranjit Jhala
|has program chair=Andrew Myers
|has Keynote speaker=Derek Dreyer, Gordon Plotkin, Sarah Lawsky, Frank Pfenning, Robert Harper, Carlo Angiuli, William E. Byrd, Gregory Rosenblatt, Zachary Kincaid, Thomas Reps, Roberto Giacobazzi, Chung-chieh Shan, Mathias Fleury, Andreas Lochbihler, Andrei Popescu, Jacques-Henri Jourdan, Robbert Krebbers
}}
'''POPL 2018''' The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Sun 7 - Sat 13 January 2018, Los Angeles, California, United States

''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. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.

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

The main POPL 2018 conference will be held from Wed 10 - Fri 12 January 2018.''

==Important Dates==
AoE (UTC-12h)
* Conference:              Mon 8 - Sat 13 Jan 2018
* Final papers due:        Mon 30 Oct 2017
* Author notification:     Fri 29 Sep 2017
* Author response period:  Mon 11 - Thu 14 Sep 2017
* Submissions due:         Fri 7 Jul 2017

==Committees==
'''Organizing Committee POPL 2018'''

'''General Chair'''
* Ranjit Jhala, University of California, San Diego, United States

'''Program Chair'''
* Andrew Myers, Cornell University, United States

'''Conference Manager'''
* Annabel Satin, P.C.K.

'''Associated Events Chair'''
* Marco Gaboardi, University at Buffalo, SUNY, United States

'''Industrial Relations Chair'''
* David Walker, Princeton University, United States

'''Remote Participation Chair'''
* Michael Greenberg, Pomona College

'''Artifact Evaluation Co-Chair, Publicity Chair'''
* Jean Yang, Carnegie Mellon University
* Cătălin Hriţcu, Inria Paris

'''Student Research Competition Chair'''
* Benjamin Delaware, Purdue University

'''Website Chair'''
* Rohit Singh, CSAIL, MIT, United States

'''Student Volunteer Co-Captain'''
* Alex Sanchez-Stern, University of California, San Diego, United States
* Jakub Zalewski, University of Edinburgh, United Kingdom

==Keynotes==
* Derek Dreyer: Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can)
* Gordon Plotkin: Some Principles of Differential Programming Languages
* Sarah Lawsky: Formal Methods and the Law
* Frank Pfenning: Message-Passing Concurrency and Substructural Logics
* Robert Harper, Carlo Angiuli: Computational Higher Type Theory 
* William E. Byrd, Gregory Rosenblatt: One Weird Trick: Relational Interpreters for Program Synthesis
* Zachary Kincaid, Thomas Reps: Introduction to Algebraic Program analysis 
* Roberto Giacobazzi: Code Obfuscation - A Hacking view on program analysis and understanding
* Chung-chieh Shan: Equational reasoning for probabilistic programming
* Mathias Fleury, Andreas Lochbihler, Andrei Popescu: Programming and Reasoning with Infinite Data in Isabelle/HOL.
* Jacques-Henri Jourdan, Robbert Krebbers: Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic
Acronym	POPL 2018 +
End date	January 13, 2018 +
Event in series	POPL +
Event type	Conference +
Has Keynote speaker	Derek Dreyer +, Gordon Plotkin +, Sarah Lawsky +, Frank Pfenning +, Robert Harper +, Carlo Angiuli +, William E. Byrd +, Gregory Rosenblatt +, Zachary Kincaid +, Thomas Reps +, Roberto Giacobazzi +, Chung-chieh Shan +, Mathias Fleury +, Andreas Lochbihler +, Andrei Popescu +, Jacques-Henri Jourdan + and Robbert Krebbers +
Has Submitting link	https://popl18.hotcrp.com +
Has coordinates	34° 3' 13", -118° 14' 34"Latitude: 34.053691666667 Longitude: -118.24276666667 +
Has general chair	Ranjit Jhala +
Has location city	Los Angeles +
Has location country	Category:USA +
Has location state	California +
Has program chair	Andrew Myers +
Has twitter	@poplconf +
Homepage	https://popl18.sigplan.org/ +
IsA	Event +
Notification	September 29, 2017 +
Poster deadline	October 30, 2017 +
Start date	January 7, 2018 +
Submission deadline	July 7, 2017 +
Title	45th ACM SIGPLAN Symposium on Principles of Programming Languages +