<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body>
<span style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">Dear members of the PL community,</span>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt;">
<span style="color: rgb(0, 0, 0);">This is a gentle reminder that the call for presentations for TPSA (collocated with POPL26) is open until October 24th, less than three weeks away! See the following link and below call for more details:
</span><span style="color: rgb(83, 118, 176); background-color: rgb(255, 255, 255);"><a href="https://urldefense.com/v3/__https://popl26.sigplan.org/home/tpsa-2026__;!!IBzWLUs!XvuCp77dqQQx8pwBuUzGu7QjrL5KPYF3hibudY5zDTwLfF0299qcDKNLhr4QCwIiFAEymFpFte5iV800IejJdiKMWlFl5xsHSjqS3AI$" title="https://popl26.sigplan.org/home/tpsa-2026" data-outlook-id="231bcdb6-d6a9-4351-a4d8-cb1dee31ac0b" data-ogsc="" style="color: rgb(83, 118, 176);">https://popl26.sigplan.org/home/tpsa-2026</a>.</span></div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
The third Workshop on the Theory and Practice of Static Analysis (called "Incorrectness Workshop" in its first edition) aims at providing a platform for researchers to present their ongoing work on all topics related to static analysis. The past two years,
TPSA has been very successful and has already sparked several fruitful collaborations. We look forward to receiving your abstracts!</div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Cheers,</div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
The TPSA26 organisers</div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
----------------------------</div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Call for Presentations</div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
----------------------------</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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:</div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
- Logical foundations for analysis algorithms (e.g. program logics, abstract interpretation, separation logic, etc)</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
- Emerging problems and use cases for static analysis (with or without proposed solutions)</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
- Prototype analysis tools</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
- Incorrectness, under-approximation, and bug-finding</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
- Analysis with computational effects (e.g., probabilistic, quantum, or concurrent programming)</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
- Industrial experience reports</div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
-- Submissions --</div>
<div dir="ltr" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Submissions should be in the form of extended abstracts and must not exceed three pages (excluding references) in the SIGPLAN two-column format.</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt;">
<span style="color: rgb(0, 0, 0);">The submission website is: </span><span style="color: rgb(83, 118, 176);"><a href="https://urldefense.com/v3/__https://tpsa26.hotcrp.com/__;!!IBzWLUs!XvuCp77dqQQx8pwBuUzGu7QjrL5KPYF3hibudY5zDTwLfF0299qcDKNLhr4QCwIiFAEymFpFte5iV800IejJdiKMWlFl5xsHWrlfPVs$" title="https://tpsa26.hotcrp.com" data-outlook-id="1707c254-148b-477a-b9aa-37c5e4854677" data-ogsc="" style="color: rgb(83, 118, 176);">https://tpsa26.hotcrp.com</a></span></div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt;">
<br>
</div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>