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

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?