
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

</head>

<body>

<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Dear members of the PL community,</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; color: rgb(0, 0, 0);">

We were asked to extend the deadline for workshop on Theory and Practice of Static Analysis, collocated with POPL26,  because of recent travel obligations to OOPSLA/ICFP for a significant number of researcher for whom the workshop is relevant.</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;">

<span style="color: rgb(0, 0, 0);"><b>The new deadline is next Friday, October 31st 2025, AoE.</b> Call and details can be found here:

<a href="https://urldefense.com/v3/__https://popl26.sigplan.org/home/tpsa-2026__;!!IBzWLUs!W4IbqOLZYLC5e1-50hfyM6hKyBd3_FE4ajgouADfTj9d6AlC3koeHh7ibLZE6GKz5COvTF1jZ5tKGgqkKP7TcjOesNqL_CtumK0KhV0$" data-outlook-id="23f80184-eafb-4914-81e3-ce2e7f1c2a51">

https://popl26.sigplan.org/home/tpsa-2026</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; color: rgb(0, 0, 0);">

In addition, we are aware of upcoming important deadlines such as VMCAI or PLDI. If you would like to submit a proposal but are too constrained by these deadlines, please send us an email.</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; color: rgb(0, 0, 0);">

Cheers,</div>

<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

The TPSA26 Chairs</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; color: rgb(0, 0, 0);">

<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>