Conference · Workshop on the Theory and Practice of Static Analysis
TPSA 2027
Official page- Type
- Conference
- Organisation
- Workshop on the Theory and Practice of Static Analysis
- Location
- Mexico City, Mexico
- Submissions close
- 30 October 2026
- Found
- 26 September 2026
About this listing
Workshop on the Theory and Practice of Static Analysis. Submissions close 2026-10-30. Held in Mexico City, Mexico. 4th edition. Work in progress, prototype tools, industrial case studies, and the interaction between static analysis and AI: static analysis work not yet ready for POPL or VMCAI. Held with POPL 2027. Topics: program analysis, verification, programming languages, formal methods. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).