Continuing the tradition of previous years, POPL 2022 will host a set of tutorials ranging on different topics relevant to the POPL community.
Mon 17 JanDisplayed time zone: Eastern Time (US & Canada) change
| 09:00 - 10:00 | |||
| 09:0060m Tutorial | Program Analysis via Graph Reachability: Past, Present, and Future [Part A]Remote TutorialFest Thomas Reps University of Wisconsin--Madison | ||
| 10:20 - 11:50 | |||
| 10:2090m Tutorial | Program Analysis via Graph Reachability: Past, Present, and Future [Part B]InPerson TutorialFest Qirun Zhang Georgia Institute of Technology | ||
| 13:30 - 14:30 | |||
| 13:3060m Tutorial | Formal Methods and Deep Learning [Part A]Remote TutorialFest Matthew Mirman ETH Zurich | ||
| 15:00 - 16:30 | |||
| 15:0090m Tutorial | Formal Methods and Deep Learning [Part B]InPerson TutorialFest Gagandeep Singh University of Illinois at Urbana-Champaign; VMware | ||
List of Tutorial
Call for Tutorials
               CALL FOR TUTORIALS
                    POPL 2022
      49th ACM SIGPLAN-SIGACT  Symposium on
       Principles of Programming Languages
            POPL: 19-21 January 2022
   Affiliated Events: 16-18 and 22 January 2022
          https://popl22.sigplan.org/
The 49th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2022) will be held in Philadelphia, Pennsylvania, 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 2022 are solicited on any topic relevant to the POPL community. We are particularly encouraging submissions of introductory tutorials that make the research presented at POPL more accessible to the participants.
Tutorials will be held on Monday, January 17, 2022 (two days before the main conference and the day before PLMW). The expected length of a tutorial is 3 hours, including questions and discussion (Q&A).
POPL is currently planned to be an in-person meeting. However, circumstances may force a switch to a virtual meeting.
Submission details
- Deadline for submission: 8 November 2021
- Notification of acceptance: 15 November 2021
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 Ruzica Piskac (ruzica.piskac@yale.edu) and Ilya Sergey (ilya@comp.nus.edu.sg).
Further information
Any query regarding POPL 2022 tutorial proposals should be addressed to the associated events chairs Ruzica Piskac (ruzica.piskac@yale.edu) and Ilya Sergey (ilya@comp.nus.edu.sg).

