logo
hybrid

Conference Results (10)

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Rank: BSpringer LNCS; 18 pages (regular), up to 18 pages (tool papers); double-blind (regular), single-blind (tool)
Venue TBD
Dec 1, 2026
SoCprobabilisticquantum+10 more

Foundations of Software Science and Computational Structures (FOSSACS)

Rank: AOffline
Turin, Italy
Apr 13, 2026 - Apr 16, 2026
categorical models and logicsautomataspatial+24 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

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

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

Utility and Cloud Computing (UCC)

Rank: UnrankedUnknown
Nantes, France
Dec 1, 2025 - Dec 4, 2025
CloudEdge and Computing ContinuumServerless+78 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

International Symposium on Software Engineering: Theories, Tools, and Applications (SETTA)

Rank: National:ChinaOffline
Oxford, United Kingdom
Dec 1, 2025 - Dec 3, 2025
Requirements specification and analysisFormalisms for modelingdesign and implementation+29 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

Integrated Formal Methods (IFM)

Rank: BOffline
Paris, France
Nov 19, 2025 - Nov 21, 2025
model checkingTheorem provingProgram synthesis+21 more