Write a Blog >>

Continuing the tradition of previous years, POPL 2020 will host a set of tutorials ranging on different topics relevant to the POPL community.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 20 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

POPL-2020-tutorialfest
09:00 - 10:00: TutorialFest - Building Program Reasoning Tools using LLVM and Z3 (I) at Muses
POPL-2020-tutorialfest09:00 - 10:00
Tutorial
Elizabeth DinellaUniversity of Pennsylvania, Pardis PashakhanlooUniversity of Pennsylvania, Anthony Canino, Mayur NaikUniversity of Pennsylvania
Pre-print
POPL-2020-tutorialfest
09:00 - 10:00: TutorialFest - Synthesizing Programs from Types (I) at SHANGRI-LA
POPL-2020-tutorialfest09:00 - 10:00
Tutorial
Nadia PolikarpovaUniversity of California, San Diego
Link to publication File Attached
POPL-2020-tutorialfest
09:00 - 10:00: TutorialFest - Verified Quantum Computing (I) at Endymion
POPL-2020-tutorialfest09:00 - 10:00
Tutorial
Robert RandUniversity of Maryland
Pre-print
POPL-2020-tutorialfest
09:00 - 10:00: TutorialFest - Verifying Probabilistic Properties with Couplings (I) at Babylon
POPL-2020-tutorialfest09:00 - 10:00
Tutorial
Justin HsuUniversity of Wisconsin-Madison, USA
File Attached
POPL-2020-catering
10:00 - 10:30: Catering - Monday Morning Break at Break
POPL-2020-tutorialfest
10:30 - 12:30: TutorialFest - Building Program Reasoning Tools using LLVM and Z3 (II) at Muses
POPL-2020-tutorialfest10:30 - 12:30
Tutorial
Elizabeth DinellaUniversity of Pennsylvania, Pardis PashakhanlooUniversity of Pennsylvania, Anthony Canino, Mayur NaikUniversity of Pennsylvania
Pre-print
POPL-2020-tutorialfest
10:30 - 12:30: TutorialFest - Synthesizing Programs from Types (II) at SHANGRI-LA
POPL-2020-tutorialfest10:30 - 12:30
Tutorial
Nadia PolikarpovaUniversity of California, San Diego
Link to publication File Attached
POPL-2020-tutorialfest
10:30 - 12:30: TutorialFest - Verified Quantum Computing (II) at Endymion
POPL-2020-tutorialfest10:30 - 12:30
Tutorial
Robert RandUniversity of Maryland
Pre-print
POPL-2020-tutorialfest
10:30 - 12:30: TutorialFest - Verifying Probabilistic Properties with Couplings (II) at Babylon
POPL-2020-tutorialfest10:30 - 12:30
Tutorial
Justin HsuUniversity of Wisconsin-Madison, USA
File Attached
POPL-2020-catering
12:30 - 14:00: Catering - Monday Lunch at Lunch Room
POPL-2020-catering12:30 - 14:00
Lunch
POPL-2020-tutorialfest
14:00 - 15:05: TutorialFest - Programming and Reasoning with Kleene Algebra with Tests (I) at SHANGRI-LA
POPL-2020-tutorialfest14:00 - 15:05
Tutorial
Nate FosterCornell University, Dexter KozenCornell University, Alexandra SilvaUniversity College London
File Attached
POPL-2020-tutorialfest
14:00 - 15:05: TutorialFest - Proving Semantic Type Soundness in Iris (I) at Muses
POPL-2020-tutorialfest14:00 - 15:05
Tutorial
Derek DreyerMPI-SWS, Robbert KrebbersDelft University of Technology, Amin Timanyimec-Distrinet KU-Leuven
Link to publication File Attached
POPL-2020-tutorialfest
14:00 - 15:05: TutorialFest - Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models (I) at Endymion
POPL-2020-tutorialfest14:00 - 15:05
Tutorial
Konstantinos (Kostis) SagonasUppsala University, Sweden
POPL-2020-catering
15:05 - 15:35: Catering - Monday Afternoon Break at Break
POPL-2020-tutorialfest
15:35 - 17:35: TutorialFest - Programming and Reasoning with Kleene Algebra with Tests (II) at SHANGRI-LA
POPL-2020-tutorialfest15:35 - 17:35
Tutorial
Nate FosterCornell University, Dexter KozenCornell University, Alexandra SilvaUniversity College London
File Attached
POPL-2020-tutorialfest
15:35 - 17:35: TutorialFest - Proving Semantic Type Soundness in Iris (II) at Muses
POPL-2020-tutorialfest15:35 - 17:35
Tutorial
Derek DreyerMPI-SWS, Robbert KrebbersDelft University of Technology, Amin Timanyimec-Distrinet KU-Leuven
Link to publication File Attached
POPL-2020-tutorialfest
15:35 - 17:35: TutorialFest - Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models (II) at Endymion
POPL-2020-tutorialfest15:35 - 17:35
Tutorial
Konstantinos (Kostis) SagonasUppsala University, Sweden

Call for Tutorials

                   CALL FOR TUTORIALS

                        POPL 2020

          47th ACM SIGPLAN-SIGACT  Symposium on
           Principles of Programming Languages

                POPL: 22-24 January 2020
       Affiliated Events: 19-21, 25 January 2020
         New Orleans, Louisiana, United States

              https://popl20.sigplan.org

The 47th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2020) will be held in New Orleans, Louisiana, United States.

POPL provides a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions.

Tutorials for POPL 2020 are solicited on any topic relevant to the POPL community. In particular, tutorials describing emerging topics or novel tools have been especially successful in the past.

Tutorials will be held on Monday January 20, 2020 (two days before the main conference and the day before PLMW). The expected length of a tutorial is 3 hours and, depending on the schedule, there might be the option to teach it in the morning and repeat it in the afternoon.

Submission details

  • Deadline for submission: 18 October 2019
  • Notification of acceptance: 1 November 2019

A tutorial proposal should provide the following information.

  • Tutorial title
  • Presenter(s), affiliation(s), and contact information
  • 1-3 page description (for evaluation). This should include the objectives, topics to be covered, presentation approach, target audience, prerequisite knowledge, and if the tutorial was previously held, the location (i.e. which conference), date, and number of attendees if available.
  • 1-2 paragraph abstract suitable for tutorial publicity.
  • 1 paragraph biography suitable for tutorial publicity.

Proposal must be submitted in pdf or txt form by email to the associated events chairs Jan Hoffmann (jhoffmann@cmu.edu) and Zachary Kincaid (zkincaid@cs.princeton.edu).

Further information

Any query regarding POPL 2020 tutorial proposals should be addressed to the associated events chairs Jan Hoffmann (jhoffmann@cmu.edu) and Zachary Kincaid (zkincaid@cs.princeton.edu).