[TYPES/announce] Call for Papers: SAS'26

[Turcotte, Alexi]

============================================================
Call for Papers

33rd Static Analysis Symposium (SAS 2026)
~~ Deadline May 1 ~~

The 33rd Static Analysis Symposium (SAS 2026) will be held
from October 6th to 8th at the Oakland Marriott City Centre
hotel (California, USA), as part of SPLASH/ISSTA 2026.

============================================================
Important Dates

Paper Submission Deadline: May 1, 2026 (AoE)
Paper Notification: Jun 16, 2026 (AoE)
Conference Dates: Oct 6-8, 2026

See https://urldefense.com/v3/__https://conf.researchr.org/home/splash-issta-2026/sas-2026__;!!IBzWLUs!TI5rLBJzlgMG-LSm5jS_eGqbwjPFzZ5IfgLSzWEBHG3L-s64SCfTuJiAEX9wnEp8qllRKLFP8oCscAi0cGZ37Pt9RRkJrCA2GwVpz67G$ 
Submission link: https://urldefense.com/v3/__https://sas26.hotcrp.com/__;!!IBzWLUs!TI5rLBJzlgMG-LSm5jS_eGqbwjPFzZ5IfgLSzWEBHG3L-s64SCfTuJiAEX9wnEp8qllRKLFP8oCscAi0cGZ37Pt9RRkJrCA2G1n0Ccbe$ 

============================================================
More Information

Static analysis is widely recognized as a fundamental tool
for program verification, bug detection, compiler optimization,
program understanding, and software maintenance. The series of
Static Analysis Symposia has served for more than 30 years as
the primary venue for the presentation of theoretical,
practical, and application advances in the area.

The technical program for SAS 2026 will consist of invited
lectures and presentations of refereed papers. Contributions
are welcomed on all aspects of program analysis, including
for example Abstract interpretation, Automated deduction,
Debugging techniques, Program synthesis, Machine learning and
verification, etc.

This year, we specially welcome submissions in two special topics:

(i) Static Analysis and AI, and
(ii) Static Analysis and Education.

As in previous years, SAS features regular and NEAT (New
questions/areas, Experience, Announcement, Tool) paper categories.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260326/9ab7fefe/attachment-0001.htm>