POPL 2020

POPL 2020
47th ACM SIGACT Symposium on Principles of Programming Languages
Event in series	POPL
Dates	2020/01/19 (iCal) - 2020/01/25
Homepage:	https://popl20.sigplan.org/
Twitter account:	‎@poplconf
Location
Location:	New Orleans, Louisiana, USA
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":29.9759983,"lon":-90.0782127,"icon":""}],"imageoverlays":null}
Subevents: PEPM 2020
Keynote speaker:	Cristina Cifuentes, Hongseok Yang, Martin Vechev
Table of Contents
Tweets by ‎@poplconf
Tweets by {{{Twitter account}}}

47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), Sun 19 - Sat 25 January 2020, New Orleans, Louisiana, 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.

POPL 2020 and its co-located events took place in New Orleans, USA, January 19–25, 2020.

Co-hosted Conferences

• CPP 2020
• VMCAI 2020

Workshops

• ADSL 2020
• CoqPL 2020
• HASE 2020
• LAFI 2020
• PEPM 2020
• PLMW 2020
• PLanQC 2020
• PriSC 2020
• WGT 2020

Co-hosted Symposiums

• PADL 2020

Committee

General Chair

• Brigitte Pientka, McGill University

Program Chair

• Lars Birkedal, Aarhus University

Video Chair

• Leif Andersen, Northeastern University, USA
• Benjamin W Chung, Northeastern University

Artifact Evaluation Co-Chair

• Benjamin Delaware, Purdue University

Industrial Relations Co-Chair

• Nate Foster, Cornell University, United States

Publicity Chair

• Michael Greenberg, Pomona College

Workshops Co-Chair

• Jan Hoffmann, Carnegie Mellon University, United States
• Zachary Kincaid, Princeton University, United States

Technical Support

• Kristoffer Just Arndal Andersen, Aarhus University, Denmark

Evaluation Co-Chair

• Jeehoon Kang Artifact, KAIST, South Korea

Web Chair

• Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan

Student Research Competition Co-Chair

• Ori Lahav, Tel Aviv University

Registration

• Carole Mann, R.S.L

Local Chair

• Michael Mislove, Tulane

Student Volunteer Co-Chair

• Carlos Mão de Ferro, Lasige, Faculty of Sciences, Universidade de Lisboa, Portugal

Treasurer & Conference Manager

• Annabel Satin, P.C.K.

Accessibility Chair Alexandra Silva University College London United Kingdom Hanneli Tavante Hanneli Tavante Student Volunteer Co-Chair McGill University Amin Timany Amin Timany Web Chair imec-Distrinet KU-Leuven Belgium Niki Vazou Niki Vazou Student Research Competition Co-Chair IMDEA Software Institute David Walker David Walker Industrial Relations Co-Chair Princeton University United States

Invited Talks

• Cristina Cifuentes: What is a Secure Programming Language
• Hongseok Yang: Probabilistic Programming
• Martin Vechev: Can Programming Languages Research impact Deep Learning 2.0?