logo
abstract interpretation

カンファレンス検索結果 (4)

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 12, 2026 - Jan 13, 2026
detection of bugs and security vulnerabilitiesprogram transformationshybrid and cyber-physical systems+23 その他

International Conference on Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrencyabstract machinesdomain-theoretic models+63 その他

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

Rank: BOffline
Birmingham, UK
Jul 15, 2025 - Jul 18, 2025
Formal StructuresComputationDeduction+39 その他

International Conference on Testing Software and Systems (ICTSS)

Rank: COffline
Limassol, Cyprus
Sep 17, 2025 - Sep 19, 2025
Software TestingSoftware SystemsSoftware Quality+73 その他