[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear members of the PL community,
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:
https://urldefense.com/v3/__https://popl26.sigplan.org/home/tpsa-2026__;!!IBzWLUs!XvuCp77dqQQx8pwBuUzGu7QjrL5KPYF3hibudY5zDTwLfF0299qcDKNLhr4QCwIiFAEymFpFte5iV800IejJdiKMWlFl5xsHSjqS3AI$
.
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!
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!XvuCp77dqQQx8pwBuUzGu7QjrL5KPYF3hibudY5zDTwLfF0299qcDKNLhr4QCwIiFAEymFpFte5iV800IejJdiKMWlFl5xsHvWBbsDg$
<https://urldefense.com/v3/__https://tpsa26.hotcrp.com/__;!!IBzWLUs!XvuCp77dqQQx8pwBuUzGu7QjrL5KPYF3hibudY5zDTwLfF0299qcDKNLhr4QCwIiFAEymFpFte5iV800IejJdiKMWlFl5xsHWrlfPVs$
>
