logo
static analysis

Conference Results (6)

International Conference on Principles and Practice of Declarative Programming (PPDP)

Rank: COffline
Rende, Italy
Sep 10, 2025 - Sep 11, 2025
functional programminglogic programmingconcurrency+10 more

Static Analysis Symposium (SAS)

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

International Conference on Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrencyabstract machinesdomain-theoretic models+63 more

International Conference on Testing Software and Systems (ICTSS)

Rank: COffline
Limassol, Cyprus
Sep 17, 2025 - Sep 19, 2025
RobustnessMetaverseMachine learning+73 more

International Conference on Tests and Proofs (TAP)

Rank: COffline
Milan, Italy
Sep 9, 2024 - Sep 10, 2024
verificationformal methodsstatic analysis+14 more

International Colloquium on Theoretical Aspects of Computing (ICTAC)

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