SAS: Static Analysis Symposium



Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
SAS 2023 Static Analysis Symposium
Oct 22, 2023 - Oct 27, 2023 Cascais (Lisbon), Portugal Apr 24, 2023
sas 2022 29th Static Analysis Symposium
Dec 5, 2022 - Dec 10, 2022 Auckland, New Zealand May 4, 2022
SAS 2021 28th Static Analysis Symposium (SAS 2021)
Oct 17, 2021 - Oct 22, 2021 Chicago (US) Apr 25, 2021
SAS 2020 Static Analysis Symposium, SAS 2020
Nov 18, 2020 - Nov 20, 2020 Chicago, Illinois, United States May 24, 2020 (May 22, 2020)
SAS 2018 25th Static Analysis Symposium
Aug 29, 2018 - Aug 31, 2018 Freiburg im Breisgau, Germany Apr 6, 2018
SAS 2017 24th Static Analysis Symposium
Aug 30, 2017 - Sep 1, 2017 New York City, USA Apr 20, 2017 (Apr 14, 2017)
SAS 2016 23rd Static Analysis Symposium
Sep 8, 2016 - Sep 10, 2016 Edinburgh Apr 10, 2016 (Apr 3, 2016)
SAS 2014 21st International Static Analysis Symposium
Sep 11, 2014 - Sep 13, 2014 Munich, Germany Mar 14, 2014 (Mar 7, 2014)
SAS 2013 Static Analysis Symposium
Jun 20, 2013 - Jun 22, 2013 Seattle, Washington Feb 3, 2013 (Jan 27, 2013)
SAS 2012 The 19th International Static Analysis Symposium
Sep 11, 2012 - Sep 13, 2012 Deauville, France Mar 23, 2012 (Mar 16, 2012)
SAS 2011 Static Analysis Symposium
Sep 14, 2011 - Sep 16, 2011 Venice, Italy Mar 18, 2011 (Mar 11, 2011)
SAS 2010 17th International Static Analysis Symposium
Sep 14, 2010 - Sep 16, 2010 Perpignan, France Mar 19, 2010 (Mar 12, 2010)
SAS 2009 Static Analysis Symposium
Aug 9, 2009 - Aug 11, 2009 Los Angeles Feb 17, 2009 (Feb 10, 2009)
SAS 2008 15th International Static Analysis Symposium
Jul 16, 2008 - Jul 18, 2008 Valencia Jan 12, 2008 (Apr 5, 2008)

Present CFP : 2023


SAS 2023

30th Static Analysis Symposium

Cascais (Lisbon), Portugal, Sun 22 - Fri 27, October 2023


The 30th Static Analysis Symposium, SAS 2023, will be co-located with
SPLASH 2023 in Cascais (Lisbon), Portugal.

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 as the
primary venue for the presentation of theoretical, practical, and application
advances in the area.


All deadlines are AoE (Anywhere on Earth)

- Full paper submission: April 24, 2023
- Artifact submission: April 29, 2023
- Author response period: June 11-14, 2023
- Notification: June 29, 2023
- Final version due: August 3, 2023
- Conference: Part of SPLASH, Oct 17-22, 2023


The technical program for SAS 2023 will consist of invited lectures
and presentations of refereed papers. Contributions are welcomed on
all aspects of static analysis, including, but not limited to:

Abstract interpretation
Automated deduction
Data flow analysis
Debugging techniques
Deductive methods
Emerging applications
Data science
Program optimizations and transformations
Program synthesis
Program verification
Machine learning and verification
Security analysis
Tool environments and architectures
Theoretical frameworks
Type checking
Distributed or networked systems


All paper submissions will be judged on the basis of significance, relevance,
correctness, originality, and clarity.

Submission link:

We welcome regular papers as well as papers focusing on any of the
following in the NEAT (New questions/areas, Experience, Announcement,
Tool) category:

- Well-motivated discussion of new questions or new areas.
- Experience with static analysis tools, Industrial Reports, and Case Studies
- Brief announcements of work in progress
- Tool papers

We do not impose a page limit for submitted papers but we encourage
brevity as reviewers have a limited time that they can spend on each
paper. With the exception of experience papers, all other papers will
follow a lightweight double-blind reviewing process. The identity of
the authors for the remaining papers will be known to the reviewers.

Submissions can address any programming paradigm, including
concurrent, constraint, functional, imperative, logic,
object-oriented, aspect, multi-core, distributed, and GPU

Papers must be written and presented in English. A submitted paper
must describe original work and must not substantially overlap with
papers that have been published or that are simultaneously submitted
to a journal or a conference with refereed proceedings.

All submitted papers will be judged on the basis of significance,
relevance, correctness, originality, and clarity. The review process
will include a rebuttal period where authors have the opportunity to
respond to preliminary reviews on the paper.


The program committee will select an accepted regular paper for the Radhia
Cousot Young Researcher Best Paper Award in memory of Radhia Cousot and her
fundamental contributions to static analysis, as well as being one of the main
promoters and organizers of the SAS series of conferences.


As in previous years, we encourage authors to submit a virtual machine image
containing any artifacts and evaluations presented in the paper. Artifact
submission is optional. Artifact evaluation will be concurrent with paper

Related Resources

ICDM 2024   24th Industrial Conference on Data Mining
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 1)
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
IDA 2024   The 22nd International Symposium on Intelligent Data Analysis
IEEE Xplore-Ei/Scopus-CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
OMLMIA 2023   Optimization and Machine Learning in Medical Image Analysis
IEEE Xplore-Ei/Scopus-CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
DynXAI 2023   Explainable Artificial Intelligence From Static to Dynamic at ECML PKDD 2023
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
IEEE ICA 2022   The 6th IEEE International Conference on Agents