View source for POPL 2019

{{Event
|Acronym=POPL 2019
|Title=46th ACM SIGPLAN Symposium on Principles of Programming Languages
|Series=POPL
|Type=Conference
|Field=Programming language
|Start date=2019/01/13
|End date=2019/01/19
|Submission deadline=2018/07/11
|Homepage=https://popl19.sigplan.org/
|City=Cascais
|Country=Portugal
|Notification=2018/10/10
|Camera ready=2018/11/09
|Has coordinator=Vasco Vasconcelos
|has general chair=Fritz Henglein
|has program chair=Stephanie Weirich
|has workshop chair=Zachary Kincaid, Marco Gaboardi
|has Keynote speaker=Mark Harman, Zachary Kincaid
}}
'''POPL 2019''' 

Welcome to the '''46th ACM SIGPLAN Symposium on Principles of Programming Languages''' (POPL 2019).

''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.
''
POPL 2019 and its co-located events took place at the Hotel Cascais Miragem, Cascais, Portugal, January 13–19, 2019.

==Important Dates==
AoE (UTC-12h)
* Conference:               Wed 16 - Fri 18 Jan 2019
* Camera ready deadline:    Fri 9 Nov 2018
* Notification:             Wed 10 Oct 2018
* End of rebuttal period:   Fri 21 Sep 2018
* Start of rebuttal period: Mon 17 Sep 2018
* Submission deadline:      Wed 11 Jul 2018

'''Co-hosted Conferences'''
* CPP 2019
* VMCAI 2019

'''Workshops'''
* BEAT 2019
* CoqPL 2019
* LAFI 2019
* OPCT 2019
* Off the Beaten Track 2019
* PEPM 2019
* PLMW 2019
* PriSC 2019

'''Co-hosted Symposiums'''
* PADL 2019
 
==Committees==
'''Organizing Committee POPL 2019'''

'''General Chair'''
* Fritz Henglein, Department of Computer Science, University of Copenhagen (DIKU), Denmark

'''Artifact Evaluation Co-Chair'''
* Benjamin Delaware, Purdue University

'''Workshops Co-Chair'''
* Marco Gaboardi, University at Buffalo, SUNY, United States
* Zachary Kincaid, Princeton University, United States

'''Publicity Chair'''
* Michael Greenberg, Pomona College

'''Artifact Evaluation Co-Chair'''
* Cătălin Hriţcu, Inria Paris

'''Website Chair'''
* Hsiang-Shang ‘Josh’ Ko, National Institute of Informatics, Japan, Taiwan

'''Registration'''
* Carole Mann, R.S.L

'''Student Volunteer Co-Captain'''
* Carlos Mão de Ferro, LASIGE, Faculty of Sciences, University of Lisbon, Portugal
* Alex Sanchez-Stern, University of California, San Diego, United States

'''Conference Coordinator, Treasurer'''
* Annabel Satin, P.C.K.

'''Local Arrangements Chair'''
* Vasco Vasconcelos, LASIGE, Faculty of Sciences, University of Lisbon, Portugal

'''Student Research Competition Chair'''
* Niki Vazou, IMDEA Software Institute  

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

'''Program Chair'''
* Stephanie Weirich, University of Pennsylvania, USA, United States

'''Video Chair'''
* Jakub Zalewski

'''Keynotes'''
* Mark Harman: Automated Fault-Finding and Fixing at Facebook
* Brigitte Pientka: Mechanized Metatheory - The Next Chapter
Acronym	POPL 2019 +
Camera ready due	November 9, 2018 +
End date	January 19, 2019 +
Event in series	POPL +
Event type	Conference +
Has Keynote speaker	Mark Harman + and Zachary Kincaid +
Has coordinates	38° 43' 21", -9° 23' 49"Latitude: 38.7224 Longitude: -9.3969083333333 +
Has coordinator	Vasco Vasconcelos +
Has general chair	Fritz Henglein +
Has location city	Cascais +
Has location country	Category:Portugal +
Has program chair	Stephanie Weirich +
Has workshop chair	Zachary Kincaid + and Marco Gaboardi +
Homepage	https://popl19.sigplan.org/ +
IsA	Event +
Notification	October 10, 2018 +
Start date	January 13, 2019 +
Submission deadline	July 11, 2018 +
Title	46th ACM SIGPLAN Symposium on Principles of Programming Languages +