logo
theorem proving

会议结果 (6)

International Conference on Concurrency Theory (CONCUR)

Rank: AIn-person; single-blind review; proceedings published by LIPIcs
University of Liverpool, UK
Sep 1, 2026
Semanticslogicsverification and analysis of concurrent systems; models (abstract machines+23 更多

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
AlgebraCoalgebraComputer Science+52 更多

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BOffline
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Formal MethodsSoftware EngineeringSoftware Development Methods+49 更多

Practical Aspects of Declarative Languages (PADL)

Rank: COffline
Rennes, France
Dec 1, 2026
functional programminglogic programmingconstraint programming+7 更多

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

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

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

Rank: National:ChinaOffline
St Catherine's College, University of Oxford, Oxford, United Kingdom
Dec 1, 2025 - Dec 3, 2025
Dependable Software EngineeringRequirements specification and analysisFormalisms for modeling+30 更多