[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Papers: SOAP 2026 (15th Edition)
We invite contributions from researchers and practitioners working with program
analysis. We are particularly interested in exciting analysis framework ideas,
innovative designs, and analysis techniques, including preliminary results or
work in progress. We will also focus on the state of the practice for program
analysis by encouraging submissions by industrial participants, including tool
demonstration submissions. The workshop agenda will continue its tradition of
lively discussions on extensions of existing frameworks, the development of
novel analyses and tools, and how program analysis is used in real-world
scenarios.
Important dates:
Submission deadline: March 3, 2026
Author notification: April 15, 2026
Camera ready: April 25, 2026
Workshop: June 16, 2026
Workshop website (CFP + updates):
https://urldefense.com/v3/__https://pldi26.sigplan.org/home/SOAP-2026__;!!IBzWLUs!VpTlUChXMHTUyjHAjc3ByM6TWCfdnifRa-or1DlI6X_aqfWo0vYTcjE2L-V7JP3vE-nNkI72OBhWTkY-sbo-kOX_-GWow6Aa$
Submission link:
https://urldefense.com/v3/__https://soap26.hotcrp.com/__;!!IBzWLUs!VpTlUChXMHTUyjHAjc3ByM6TWCfdnifRa-or1DlI6X_aqfWo0vYTcjE2L-V7JP3vE-nNkI72OBhWTkY-sbo-kOX_-GbtaSX6$
Sent on behalf of the SOAP'26
organizers<https://urldefense.com/v3/__https://pldi26.sigplan.org/committee/SOAP-2026-papers-organizing-committee__;!!IBzWLUs!VpTlUChXMHTUyjHAjc3ByM6TWCfdnifRa-or1DlI6X_aqfWo0vYTcjE2L-V7JP3vE-nNkI72OBhWTkY-sbo-kOX_-KMXpEM0$
> by the PLDI'26 Publicity
Chairs<https://urldefense.com/v3/__https://pldi26.sigplan.org/committee/pldi-2026-organizing-committee__;!!IBzWLUs!VpTlUChXMHTUyjHAjc3ByM6TWCfdnifRa-or1DlI6X_aqfWo0vYTcjE2L-V7JP3vE-nNkI72OBhWTkY-sbo-kOX_-D2hlwEW$
>.