Continuing the tradition of previous years, POPL 2022 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 17 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:00
Tutorials 1TutorialFest at Independence
Chair(s): Ning Luo
09:00
60m
Tutorial
Program Analysis via Graph Reachability: Past, Present, and Future [Part A]Remote
TutorialFest
Thomas Reps University of Wisconsin--Madison
10:20 - 11:50
Tutorials 2TutorialFest at Independence
Chair(s): Ning Luo
10:20
90m
Tutorial
Program Analysis via Graph Reachability: Past, Present, and Future [Part B]InPerson
TutorialFest
Qirun Zhang Georgia Institute of Technology
13:30 - 14:30
Tutorials 3TutorialFest at Independence
Chair(s): Yuyang Sang Yale University
13:30
60m
Tutorial
Formal Methods and Deep Learning [Part A]Remote
TutorialFest
Matthew Mirman ETH Zurich
15:00 - 16:30
Tutorials 4TutorialFest at Independence
Chair(s): Yuyang Sang Yale University
15:00
90m
Tutorial
Formal Methods and Deep Learning [Part B]InPerson
TutorialFest
Gagandeep Singh University of Illinois at Urbana-Champaign; VMware

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).