logo
static analysis

会议结果 (6)

International Conference on Tests and Proofs (TAP)

Rank: COffline
Milan, Italy
Sep 9, 2024 - Sep 10, 2024
VerificationFormal MethodsStatic Analysis+3 更多

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 12, 2026 - Jan 13, 2026
program verificationmodel checkingabstract interpretation+23 更多

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Rank: A*Offline
The Westin Josun Seoul, Seoul, South Korea
Jun 16, 2025 - Jun 20, 2025
Programming Language DesignProgramming Language ImplementationProgramming Language Theory+19 更多

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 Testing Software and Systems (ICTSS)

Rank: COffline
Limassol, Cyprus
Sep 17, 2025 - Sep 19, 2025
Software TestingSoftware SystemsSoftware Quality+73 更多

International Colloquium on Theoretical Aspects of Computing (ICTAC)

Rank: COffline
Marrakech, Morocco
Nov 24, 2025 - Nov 28, 2025
Formal languages and automataSemantics of programming languagesLogic in computer science+23 更多