logo
Abstract interpretation

Conference Results (4)

Static Analysis Symposium (SAS)

Rank: BOffline
Singapore, Singapore
Oct 13, 2025 - Oct 14, 2025
Static analysisprogram verificationbug detection+8 more

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 12, 2026 - Jan 13, 2026
VerificationModel CheckingAbstract Interpretation+1 more

International Conference on Formal Structures for Computation and Deduction (FSCD)

Rank: BOffline
Lisbon, Portugal
Jul 20, 2026 - Jul 23, 2026
Formal StructuresComputationDeduction+39 more

International Symposium on Theoretical Aspects of Software Engineering (TASE)

Rank: National: ChinaOffline
Shanghai, China
Jul 4, 2026
Abstract interpretationComponent-based software engineeringCyber-physical systems+7 more