[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
---------------------------------------------------------------
Call for papers
PLAS 2026
Co-located with CCS'26 (November 15-19)
The Hague, The Netherlands
https://urldefense.com/v3/__https://plas26.github.io/__;!!IBzWLUs!RRNufUwTBub6cQZoFjL5eCoVy---s-tQ-_s2XfJd1NOinOx2yJfYxRzakjAq6WmdXh6MyB2fgpD74JV0RrKZqC9XWiIGtwO3f-_v8Bl0$
---------------------------------------------------------------
TL;DR: Submission Deadline: June 20, 2026 AoE
---------------------------------------------------------------
Overview
---------------------------------------------------------------
The Workshop on Programming Languages and Analysis for Security (PLAS)
explores the use of programming language and program analysis techniques
to improve software security across compilers, machine learning models,
and smart contracts. It promotes speculative, forward-looking ideas and
insightful discussions at the intersection of programming languages and
security.
The 21th Workshop on Programming Languages and Analysis for Security
(PLAS 2026) will be co-located with CCS 2026 (November 15-19) in The
Hague, The Netherlands. The workshop will be held during the first or
last day of the conference (the precise date will be communicated later).
---------------------------------------------------------------
Submission Guidelines
---------------------------------------------------------------
The workshop has no formal published proceedings; hence, we encourage
the submission of papers that are likely to generate lively discussion
as well as papers covering ongoing and future work. Presenting a paper
at the workshop does not preclude submission to or publication in other
venues that are before, concurrent, or after the workshop. Papers
presented at the workshop will be made available to workshop
participants only.
We invite both short papers and long papers.
- Full papers: There is no page limit on long papers. Papers in this
category are expected to have relatively mature content. Papers that
present promising preliminary and exploratory work, or recently
published work are particularly welcome in this category. Long papers
may receive longer talk slots at the workshop than short papers,
depending on the number of accepted submissions.
- Short papers: should be at most 2 pages long, plus as many pages as
needed for references. Papers that present radical, open-ended and
forward-looking ideas are particularly welcome in this category. Authors
submitting papers in this category must prepend the phrase "Short
Paper:" to the title of the submitted paper.
There is no restriction on paper format other than the page limits
stated above.
A non-exhaustive list of topics for the workshop is:
- Side-channel vulnerability detection and elimination
- Verification techniques applied to adversarial learning and smart
contracts
- Software isolation (e.g., SFI, sandboxing)
- Compiler/runtime-based hardening and monitoring
- Program analysis, binary analysis, and fuzzing
- Security enforcement mechanisms
- Cryptographic protocol verification
- Information flow and access control
- Security in web, IoT, and cloud programming languages
Submissions will be made (in PDF format) via the following website:
https://urldefense.com/v3/__https://plas26.hotcrp.com__;!!IBzWLUs!RRNufUwTBub6cQZoFjL5eCoVy---s-tQ-_s2XfJd1NOinOx2yJfYxRzakjAq6WmdXh6MyB2fgpD74JV0RrKZqC9XWiIGtwO3f0_ULEfm$ .
---------------------------------------------------------------
Important Dates
---------------------------------------------------------------
Paper submission: June 20, 2026 AoE
Author notification: August 7, 2026
Workshop date: November 19, 2026
---------------------------------------------------------------
Program Committee
---------------------------------------------------------------
Gilles Barthe (Max Planck Institute for Security and Privacy, Germany)
Dominique Devriese (KU Leuven, Belgium)
Joshua Gancher (Northeastern University, USA)
Roberto Guanciale (KTH, Sweden)
Limin Jia (Carnegie Mellon University, USA)
Adrien Koutsos (Inria Paris, France) (co-chair)
Robert Künnemann (CISPA Helmholtz Center for Information Security, Germany)
Hamed Nemati (KTH, Sweden) (co-chair)
Marco Patrignani (University of Trento, Italy)
---------------------------------------------------------------
Contact
---------------------------------------------------------------
For more information, please refer to https://urldefense.com/v3/__https://plas26.github.io__;!!IBzWLUs!RRNufUwTBub6cQZoFjL5eCoVy---s-tQ-_s2XfJd1NOinOx2yJfYxRzakjAq6WmdXh6MyB2fgpD74JV0RrKZqC9XWiIGtwO3f7oxwGl1$ or email
us at [email protected] and [email protected].
