logo
Verification

Conference Results (22)

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

Software Quality, Reliability, and Security (QRS)

Rank: COffline
Florence, Italy
Jul 22, 2026 - Jul 25, 2026
ReliabilitySecurityAvailability+40 more

ACM Symposium on Principles of Distributed Computing (PODC)

Rank: A*Offline
Egham, England
Jul 6, 2026 - Jul 10, 2026
communication networksconcurrencysynchronization+44 more

Static Analysis Symposium (SAS)

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

Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement (IWSM Mensura)

Rank: COffline
Urla, Turkiye
Sep 23, 2026 - Sep 25, 2026
Software MeasurementSoftware ProcessSoftware Product Measurement+22 more

Verification, Model Checking and Abstract Interpretation (VMCAI)

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

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

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

IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

Rank: AOffline
Saint Malo, France
May 12, 2026 - May 14, 2026
applicationscase studiesmethodologies+9 more

International Conference on Logic Programming (ICLP)

Rank: AOffline
Rende, Italy
Sep 15, 2025 - Sep 19, 2025
Logic ProgrammingFormal and operational semanticsNon-monotonic reasoning+26 more

USENIX Workshop on Hot Topics in Operating Systems (HotOS)

Rank: AOffline
Bertinoro, Italy
May 12, 2019 - May 15, 2019
operating systemsstoragedistributed systems+13 more

IEEE International Conference on Computer Design (ICCD)

Rank: TBROffline
Dallas, United States
Nov 10, 2025 - Nov 12, 2025
Computing SystemsSoftware ArchitecturesCompilers+7 more

Formal Methods in Computer-Aided Design (FMCAD)

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