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
Mon 16 JanDisplayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | |||
09:00 90mTutorial | 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 | |||
09:00 90mTutorial | QuickChick: Combining Random Testing and Verification in Coq TutorialFest Leonidas Lampropoulos University of Maryland, College Park |
09:00 - 10:30 | |||
09:00 90mTutorial | Isabelle/HOL: Foundations, Induction, and Coinduction TutorialFest |
09:00 - 10:30 | |||
09:00 90mTutorial | Z3 Internals – A guide to principles, art and empirics of programming SMT solvers TutorialFest Nikolaj Bjørner Microsoft Research |
11:00 - 12:30 | |||
11:00 90mTutorial | 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 | |||
11:00 90mTutorial | QuickChick: Combining Random Testing and Verification in Coq TutorialFest Leonidas Lampropoulos University of Maryland, College Park |
11:00 - 12:30 | |||
11:00 90mTutorial | Isabelle/HOL: Foundations, Induction, and Coinduction TutorialFest |
11:00 - 12:30 | |||
11:00 90mTutorial | Z3 Internals – A guide to principles, art and empirics of programming SMT solvers TutorialFest Nikolaj Bjørner Microsoft Research |
14:00 - 15:30 | |||
14:00 90mTutorial | 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 | |||
14:00 90mTutorial | RUST: Regions, Uniqueness, Ownership & Types TutorialFest Media Attached File Attached |
14:00 - 15:30 | |||
14:00 90mTutorial | Using a Proof Assistant to Teach PL Theory, Without the Overhead TutorialFest |
14:00 - 15:30 | |||
14:00 90mTutorial | 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 | |||
16:00 90mTutorial | 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 | |||
16:00 90mTutorial | RUST: Regions, Uniqueness, Ownership & Types TutorialFest Media Attached File Attached |
16:00 - 17:30 | |||
16:00 90mTutorial | Using a Proof Assistant to Teach PL Theory, Without the Overhead TutorialFest |
16:00 - 17:30 | |||
16:00 90mTutorial | 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 |
List of Tutorials
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