* [Caml-list] POPL 2027 Call For Tutorials
@ 2026-08-04 18:01 Ningning Xie
0 siblings, 0 replies; only message in thread
From: Ningning Xie @ 2026-08-04 18:01 UTC (permalink / raw)
To: caml-list, coq-club, agda, haskell-cafe, types-announce
[-- Attachment #1: Type: text/plain, Size: 2047 bytes --]
Call For Tutorials
https://popl27.sigplan.org/track/POPL-2027-tutorials#Call-For-Tutorials
The 54th ACM SIGPLAN Symposium on Principles of Programming Languages
(POPL 2027) will be held in Mexico City, Mexico.
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 2027 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 from January 9th (afternoon) to the 11th. The
expected length of a tutorial is either 1.5 or 3 hours, including
questions and discussion (Q&A).
Submission details
- Deadline for submission: October 9, 2026
- Notification of acceptance: October 23, 2026
A tutorial proposal should provide the following information:
- Tutorial title
- Presenter(s), affiliation(s), and contact information
- Length (1.5 hour or 3 hours)
- 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 Aws Albarghouthi
(aws@cs.wisc.edu) and Alan Schmitt (alan.schmitt@inria.fr) with the
subject line “POPL 2027 Tutorial Proposal: [tutorial name]”. The
proposal should be attached as a PDF, docx, or txt file.
Further information
Any questions regarding POPL 2027 tutorials should be
addressed to the workshops chairs, Aws Albarghouthi (aws@cs.wisc.edu)
and Alan Schmitt (alan.schmitt@inria.fr).
[-- Attachment #2: Type: text/html, Size: 2519 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2026-08-04 18:01 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-08-04 18:01 [Caml-list] POPL 2027 Call For Tutorials Ningning Xie
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox