Visible to the public SAS 2023Conflict Detection Enabled

Submitted by Anonymous on Thu, 07/20/2023 - 2:56pm
Oct 22, 2023 7:00 am - Oct 24, 2023 5:00 pm WEST

30th Static Analysis Symposium (SAS 2023)

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. A selection of papers will be invited to a special issue of Springer's journal Formal Methods in System Design.

Event Details
Location: 
Cascais, Portugal
URL: 
https://conf.researchr.org/home/sas-2023