logo
testing

Conference Results (12)

ACM International Symposium on Computer Architecture (ISCA)

Rank: A*Offline
Raleigh, USA
Jun 27, 2026
Processormemoryand storage systems architecture+14 more

Fundamental Approaches to Software Engineering (FASE)

Rank: BOffline
Turin, Italy
Apr 13, 2026 - Apr 16, 2026
data managementtesting and verificationmodel checking+69 more

International Conference on Concurrency Theory (CONCUR)

Rank: AIn-person; single-blind review; proceedings published by LIPIcs
University of Liverpool, UK
Sep 1, 2026 - Sep 4, 2026
Semanticsprocess algebrasPetri nets+23 more

ACM Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)

Rank: AOffline
Oakland, California, United States
Oct 3, 2026
requirementsmodelingprototyping+7 more

International Conference on Reliable Software Technologies (Ada-Europe)

Rank: Journal PublishedOffline
Västerås, Sweden
Sep 6, 2026
Formal MethodsTestingHigh-Integrity Systems and Reliability+4 more

Formal Methods in Computer-Aided Design (FMCAD)

Rank: BOffline
Graz, Austria
Sep 14, 2026 - Sep 18, 2026
verificationspecificationsynthesis+1 more

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
Glasgow, United Kingdom
Jun 16, 2025 - Jun 20, 2025
Modal logicsProof systemsRelational systems+64 more

International Conference on Tests and Proofs (TAP)

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

International Conference on Software Reuse (ICSR)

Rank: BHybrid
Ottawa, Ontario, Canada
Apr 27, 2025 - Apr 28, 2025
testingverificationQuantum Computing+34 more

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Rank: AOffline
Turin, Italy
Apr 13, 2026 - Apr 16, 2026
specification and verification techniquessoftware and hardware verificationanalytical techniques for real-time+16 more

IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)

Rank: BOffline
Hangzhou, China
Jul 2, 2025 - Jul 4, 2025
Software EngineeringHuman Machine InteractionSimulation+10 more

Pacific Rim International Symposium on Dependable Computing (PRDC)

Rank: COffline
Seoul, South Korea
Nov 3, 2025 - Nov 5, 2025
Software and hardware reliabilityresiliencesafety+28 more