[TYPES/announce] [Call for Presentations] TPSA @POPL2026

[Ayoun, Sacha-Elie]

Dear members of the PL community,

Please find below the call for presentations for TPSA, collocated POPL26 (https://urldefense.com/v3/__https://popl26.sigplan.org/home/tpsa-2026__;!!IBzWLUs!XQWG8EPM1BzSIpZVO4M3bCgywiz-VLDZ7h0f4hzdTrJqJnGYlEmAc8BX-6e6sprC6jyfzBfIvazdHjriPQm11HeuwwK_BJ7ll6GugT4$ ) . Next January will be the third edition of this workshop on the Theory and Practice of Static Analysis (the first edition was called "Incorrectness Workshop"). We are excited to receive your abstracts!

Cheers,
The TPSA26 organisers

----------------------------
Call for Presentations
----------------------------
We invite the submission of talk proposals in topics related to both the mathematical foundations and practical implementations of static analysis. This workshop will not have formal proceedings, so talks covering in-progress or already published work are welcome. Since analysis tools and algorithms are difficult to implement, we also welcome speculative presentations about techniques that are not yet validated. The topics in scope include, but are not limited to:

- Logical foundations for analysis algorithms (e.g. program logics, abstract interpretation, separation logic, etc)
- Emerging problems and use cases for static analysis (with or without proposed solutions)
- Prototype analysis tools
- Incorrectness, under-approximation, and bug-finding
- Analysis with computational effects (e.g., probabilistic, quantum, or concurrent programming)
- Industrial experience reports

-- Submissions --

Submissions should be in the form of extended abstracts and must not exceed three pages (excluding references) in the SIGPLAN two-column format.
The submission website is: https://urldefense.com/v3/__https://tpsa26.hotcrp.com__;!!IBzWLUs!XQWG8EPM1BzSIpZVO4M3bCgywiz-VLDZ7h0f4hzdTrJqJnGYlEmAc8BX-6e6sprC6jyfzBfIvazdHjriPQm11HeuwwK_BJ7lF6zKLkc$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250904/d00592d3/attachment.htm>