Continuing the tradition of previous years, POPL 2025 will include a program of tutorials covering topics relevant to the POPL community. Please read the call for tutorials if you’re interested in presenting a tutorial on the tool or topic of your choice.
This program is tentative and subject to change.
Sun 19 JanDisplayed time zone: Mountain Time (US & Canada) change
09:00 - 10:30 | |||
09:00 90mTutorial | Substructural Type Systems Tutorials | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Substructural Type Systems Tutorials | ||
14:00 - 15:30 | |||
14:00 90mTutorial | MPL: Provably Efficient Parallel Programming Tutorials | ||
16:00 - 17:30 | |||
16:00 90mTutorial | MPL: Provably Efficient Parallel Programming Tutorials | ||
Mon 20 JanDisplayed time zone: Mountain Time (US & Canada) change
09:00 - 10:30 | |||
09:00 90mTutorial | Viper: An Infrastructure for Automated Verification in Separation Logic Tutorials | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Viper: An Infrastructure for Automated Verification in Separation Logic Tutorials | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Verification of Distributed Protocols: Decidable Modeling and Invariant Inference Tutorials | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Verification of Distributed Protocols: Decidable Modeling and Invariant Inference Tutorials | ||
Tue 21 JanDisplayed time zone: Mountain Time (US & Canada) change
09:00 - 10:30 | |||
09:00 90mTutorial | Stateless Model Checking Concurrent and Distributed Programs Tutorials | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Stateless Model Checking Concurrent and Distributed Programs Tutorials | ||
List of Tutorials
Call For Tutorials
POPL 2025
52nd ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages
Sun 19 - Sat 25, January 2024
Denver, United States
https://popl25.sigplan.org
The 52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2025) will be held in Denver, 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 2025 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 Jan 19–21, 2025. The expected length of a tutorial is 3 hours, including questions and discussion (Q&A).
Submission details:
- Deadline for submission: October 25th, 2024 (updated!)
- Notification of acceptance: November 1st, 2024
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.
Proposals must be submitted by email to Christoph Matheja (chmat@dtu.dk) and Robert Rand (rand@uchicago.edu) with the subject line “POPL 2025 Tutorial Proposal: [tutorial name]”. The proposal should be attached as a PDF, docx, or txt file.
Further information
Any query regarding POPL 2025 tutorial proposals should be addressed to the co-located events chairs Christoph Matheja (chmat@dtu.dk) and Robert Rand (rand@uchicago.edu), or to the general chair Steve Zdancewic (stevez@seas.upenn.edu).