IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
SAS 2023 : Static Analysis Symposium
SAS 2023 : Static Analysis Symposium

SAS 2023 : Static Analysis Symposium

Cascais (Lisbon), Portugal
Event Date: October 22, 2023 - October 27, 2023
Submission Deadline: April 24, 2023
Notification of Acceptance: June 29, 2023
Camera Ready Version Due: August 03, 2023




Call for Papers

--------------------------------------------------------------------------------

SAS 2023

30th Static Analysis Symposium

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

https://2023.splashcon.org/home/sas-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.

IMPORTANT DATES

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

TOPICS

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


PAPER SUBMISSION

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

Submission link: https://easychair.org/conferences/?conf=sas2023

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

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.

RADHIA COUSOT AWARD

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.

ARTIFACTS

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


Summary

SAS 2023 : Static Analysis Symposium will take place in Cascais (Lisbon), Portugal. It’s a 6 days event starting on Oct 22, 2023 (Sunday) and will be winded up on Oct 27, 2023 (Friday).

SAS 2023 falls under the following areas: ABSTRACT INTERPRETATION, DATA FLOW ANALYSIS, VERIFICATION, AUTOMATED DEDUCTION, etc. Submissions for this Symposium can be made by Apr 24, 2023. Authors can expect the result of submission by Jun 29, 2023. Upon acceptance, authors should submit the final version of the manuscript on or before Aug 3, 2023 to the official website of the Symposium.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the SAS 2023

  • Short Name: SAS 2023
  • Full Name: Static Analysis Symposium
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of SAS 2023
  • Event Type: Symposium
  • Website Link: https://2023.splashcon.org/home/sas-2023
  • Location/Address: Cascais (Lisbon), Portugal


Credits and Sources

[1] SAS 2023 : Static Analysis Symposium


Check other Conferences, Workshops, Seminars, and Events


OTHER ABSTRACT INTERPRETATION EVENTS

VMCAI 2023: International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
Boston
Jan 15, 2023
VMCAI 2021: Verification, Model Checking and Abstract Interpretation
Copenhagen, Denmark
Jan 17, 2021
SAS 2020: Static Analysis Symposium
Chicago, Illinois, United States
Nov 18, 2020
NSAD 2019: Numerical and Symbolic Abstract Domains
Porto
Oct 8, 2019
SHOW ALL

OTHER VERIFICATION EVENTS

AREA 2024: 4th Workshop on Agents and Robots for reliable Engineered Autonomy
Santiago de Compostela
Oct 19, 2024
LearnAut 2024: Learning and Automata
Tallinn, Estonia
Jul 7, 2024
SCID @ AsiaCCS 2024: 1st ACM workshop on Security-Centric Strategies for Combating Information Disorder
Singapore
Jul 1, 2024
SPIN 2024: 30th International Symposium on Model Checking Software
Luxembourg City
Apr 10, 2024
FAACS 2024: The 8th International Workshop on Formal Approaches for Advanced Computing Systems
IIIT Hyderabad, India
Jun 4, 2024
SHOW ALL