POPL 2021

POPL 2021
48th ACM SIGPLAN Symposium on Principles of Programming Languages
Event in series	POPL
Dates	2021/01/17 (iCal) - 2021/01/22
Homepage:	https://popl21.sigplan.org/
Location
Location:	Copenhagen, Denmark
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":55.6867243,"lon":12.5700724,"icon":""}],"imageoverlays":null}
Table of Contents

POPL `21 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021), Sun 17 - Fri 22 January 2021 Copenhagen, Denmark

POPL 2021 will welcome contributions from all members of the community. Independent of what will happen with global Covid-19 crisis and the complications of its aftermath, authors and other participants will be given the choice to participate in-person or remotely.

The paper submission deadline (July 9, 2020) is firm and not subject to change.

POPL will take place January 17-22, 2021, as a physical, virtual, or hybrid physical/virtual meeting. We will be monitoring the Covid-19 situation and will announce a decision on the nature of the meeting in time.

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.

Important Dates

• Research Papers Submission Deadline: Thu 9 Jul 2020
• Research Papers Author response period: Mon 7 Sep - Wed 9 Sep 2020
• CPP Abstract submission deadline: Wed 16 Sep 2020 23:59
• CPP Paper submission deadline: Tue 22 Sep 2020 23:59
• Research Papers Notification: Thu 1 Oct 2020
• CPP Conference: Mon 18 - Tue 19 Jan 2021

Committees

General Chair:

• Andreas Podelski, University of Freiburg, Germany

Program Chair:

• Azadeh Farzan, University of Toronto, Canada

Local Arrangements Chair:

• Fritz Henglein, Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital Denmark

Industrial Relations:

• Nate Foster, Cornell University, United States

Workshops Co-Chair:

• Jan Hoffmann, Carnegie Mellon University, United States
• Ruzica Piskac, Yale University, USA

Student Research Competition Co-Chair

• Ori Lahav, Tel Aviv University, Israel
• Azalea Raad, Imperial College London, United Kingdom

Artifact Evaluation Co-Chair:

• Jeehoon Kang, Artifact KAIST, South Korea
• Pavel Panchekha, University of Utah, United States

Web Chair:

• Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan
• Amin Timany, Aarhus University, Denmark

Publicity Chair:

• Michael Greenberg,Pomona College

Accessibility Chair:

• Alexandra Silva, University College London, United Kingdom

Student Volunteer Co-Chair:

• Carlos Mão de Ferro, Carlos Mão de Ferro, Lasige, Faculty of Sciences, Universidade de Lisboa, Portugal
• Hanneli Tavante, McGill University