logo
specification

Conference Results (6)

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 Principles of Distributed Systems (OPODIS)

Rank: BOffline
Iaşi, Romania
Dec 3, 2025 - Dec 5, 2025
distributed computingtheoryspecification+7 more

Formal Methods in Computer-Aided Design (FMCAD)

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

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BUnknown
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Formal MethodsSoftware EngineeringSoftware Development Methods+49 more

Foundations of Software Technology and Theoretical Computer Science (FST&TCS)

Rank: National: IndiaOffline
Goa, India
Dec 17, 2025 - Dec 19, 2025
Algebraic ComplexityAlgorithms and Data StructuresAlgorithmic Graph Theory and Combinatorics+35 more

International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)

Rank: COffline
Rende, Italy
Sep 9, 2025 - Sep 10, 2025
synthesistransformationspecialization+13 more