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

Virtual Component: We will try our best to stream the sessions on airmeet and record the tutorials to be uploaded on youtube but we may not be able to for all the tutorials

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

Mon 16 Jan

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

09:00 - 10:30
Tutorials 4ATutorialFest at Copley
09:00
90m
Tutorial
Deductive Verification of Probabilistic Programs
TutorialFest
Benjamin Lucien Kaminski Saarland University; University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja DTU
09:00 - 10:30
Tutorials 3ATutorialFest at Kenmore
09:00
90m
Tutorial
QuickChick: Combining Random Testing and Verification in Coq
TutorialFest
Leonidas Lampropoulos University of Maryland, College Park
09:00 - 10:30
Tutorials 2ATutorialFest at Park
09:00
90m
Tutorial
Isabelle/HOL: Foundations, Induction, and Coinduction
TutorialFest
Andrei Popescu University of Sheffield, Dmitriy Traytel University of Copenhagen
11:00 - 12:30
Tutorials 4BTutorialFest at Copley
11:00
90m
Tutorial
Deductive Verification of Probabilistic Programs
TutorialFest
Benjamin Lucien Kaminski Saarland University; University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja DTU
11:00 - 12:30
Tutorials 3BTutorialFest at Kenmore
11:00
90m
Tutorial
QuickChick: Combining Random Testing and Verification in Coq
TutorialFest
Leonidas Lampropoulos University of Maryland, College Park
11:00 - 12:30
Tutorials 2BTutorialFest at Park
11:00
90m
Tutorial
Isabelle/HOL: Foundations, Induction, and Coinduction
TutorialFest
Andrei Popescu University of Sheffield, Dmitriy Traytel University of Copenhagen
14:00 - 15:30
Tutorials 8ATutorialFest at Copley
14:00
90m
Tutorial
Neurosymbolic Programming
TutorialFest
Swarat Chaudhuri University of Texas at Austin, Atharva Sehgal University of Texas, Austin, Armando Solar-Lezama Massachusetts Institute of Technology
14:00 - 15:30
Tutorials 7ATutorialFest at Kenmore
14:00
90m
Tutorial
RUST: Regions, Uniqueness, Ownership & Types
TutorialFest
James Noble Research & Programming, Tobias Wrigstad Uppsala University, Sweden
Media Attached File Attached
14:00 - 15:30
Tutorials 6ATutorialFest at Park
14:00
90m
Tutorial
Using a Proof Assistant to Teach PL Theory, Without the Overhead
TutorialFest
Jonathan Aldrich Carnegie Mellon University, John Boyland Univeristy of Wisconsin, Milwaukee
14:00 - 15:30
Tutorials 5ATutorialFest at Scollay
14:00
90m
Tutorial
Incorrectness Logic and Under-approximation: Foundations of Bug Catching
TutorialFest
Quang Loc Le University College London, Peter O'Hearn Facebook, Azalea Raad Imperial College London, Julien Vanegue Bloomberg, USA
16:00 - 17:30
Tutorials 8BTutorialFest at Copley
16:00
90m
Tutorial
Neurosymbolic Programming
TutorialFest
Swarat Chaudhuri University of Texas at Austin, Atharva Sehgal University of Texas, Austin, Armando Solar-Lezama Massachusetts Institute of Technology
16:00 - 17:30
Tutorials 7BTutorialFest at Kenmore
16:00
90m
Tutorial
RUST: Regions, Uniqueness, Ownership & Types
TutorialFest
James Noble Research & Programming, Tobias Wrigstad Uppsala University, Sweden
Media Attached File Attached
16:00 - 17:30
Tutorials 6BTutorialFest at Park
16:00
90m
Tutorial
Using a Proof Assistant to Teach PL Theory, Without the Overhead
TutorialFest
Jonathan Aldrich Carnegie Mellon University, John Boyland Univeristy of Wisconsin, Milwaukee
16:00 - 17:30
Tutorials 5BTutorialFest at Scollay
16:00
90m
Tutorial
Incorrectness Logic and Under-approximation: Foundations of Bug Catching
TutorialFest
Quang Loc Le University College London, Peter O'Hearn Facebook, Azalea Raad Imperial College London, Julien Vanegue Bloomberg, USA

Call for Tutorials

               CALL FOR TUTORIALS

                    POPL 2023

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

            POPL: 18-20 January 2023
   Affiliated Events: 15-17 and 21 January 2023

          https://popl23.sigplan.org/

The 50th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2023) will be held in Boston, Massachusetts, 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 2023 are solicited on any topic relevant to the POPL community. We particularly encourage submissions of introductory tutorials that make the research presented at POPL more accessible to the participants.

Tutorials will be held on Monday, January 16 and Tuesday, January 17, 2023. The expected length of a tutorial is 3 hours, including questions and discussion (Q&A).

POPL is currently planned to be an in-person/hybrid meeting. However, circumstances may force a switch to a virtual meeting.


Submission details

  • Deadline for submission: 15 October 2022
  • Notification of acceptance: 25 October 2022

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 chair William Bowman wjb@williamjbowman.com or to the general chair Andrew Myers andru@cs.cornell.edu


Further information

Any query regarding POPL 2023 tutorial proposals should be addressed to the associated events chair William Bowman wjb@williambowman.com or to the general chair Andrew Myers andru@cs.cornell.edu