Deadline: 5/1/2026
The 33rd Static analysis Symposium on Static Analysis (SAS 2026) will be held from October 6th to 8th at the Oakland Marriott City Centre hotel (California, USA), as part of SPLASH 2026. Contributions are welcomed on all aspects of program analysis, including for example abstract interpretation, automated deduction, debugging techniques, program synthesis, machine-learning 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. **Important Dates** Paper Submission Deadline: May 1, 2026 (AoE) Paper Notification: Jun 16, 2026 (AoE) Conference Dates: Oct 6-8, 2026 Website: https://conf.researchr.org/home/splash-issta-2026/sas-2026 Submission link: https://sas26.hotcrp.com/