SAS 2021 : International Static Analysis Symposium
in Conferences Posted on March 5, 2021Conference Information
| Submission Deadline | Sunday 25 Apr 2021 |
Proceedings indexed by : 
|
| Conference Dates | Oct 17, 2021 - Oct 22, 2021 | |
| Conference Address |
Chicago, United States 
|
|
| Conference & Submission Link | https://conf.researchr.org/home/sas-2021? | |
Conference Organizers : ( Deadline extended ? Click here to edit 
)
)
Conference Ranking & Metrics (This is a TOP Conference)
|
|
| Proceedings | https://link.springer.com/conference/sas |
Conference Call for Papers
The technical program for SAS 2021 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 domains
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
Security analysis
Tool environments and architectures
Theoretical frameworks
Type checking
Other Conferences in United States
|
WSC 2021 : Winter Simulation Conference |
Deadline : Mon 12 Apr 2021 |
|
|
Dec 12, 2021 - Dec 15, 2021 - Desert Ridge
|
United States
|
||
|
ITSC 2021 : IEEE Intelligent Transportation Systems Conference |
Deadline : Thu 15 Apr 2021 |
|
|
Sep 19, 2021 - Sep 22, 2021 - Indianapolis
|
United States
|
||
|
|
SRDS 2021 : Symposium on Reliable Distributed Systems |
Deadline : Fri 16 Apr 2021 |
|
|
Sep 20, 2021 - Sep 23, 2021 - Chicago
|
United States
|
||
|
ICPP 2021 : International Conference on Parallel Processing (ICPP) |
Deadline : Fri 16 Apr 2021 |
|
|
Aug 9, 2021 - Aug 12, 2021 - Chicago
|
United States
|
||
|
|
WiOpt 2021 : International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks |
Deadline : Fri 23 Apr 2021 |
|
|
Oct 18, 2021 - Oct 21, 2021 - Philadelphia
|
United States
|
||
