logo
theorem proving

Résultats des conférences (8)

Practical Aspects of Declarative Languages (PADL)

Rank: COffline
Curtis Hotel Denver, Denver, Colorado, United States
Jan 20, 2025 - Jan 21, 2025
Declarative languagesfunctional programminglogic programming+2 plus

International Conference on Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrencyabstract machinesdomain-theoretic models+63 plus

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 plus

Conference on Algebra and Coalgebra in Computer Science (CALCO)

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

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 plus

International Symposium on Theoretical Aspects of Software Engineering (TASE)

Rank: National: ChinaOffline
Limassol, Cyprus
Jul 14, 2025 - Jul 16, 2025
Software processes and workflowsSoftware architectures and designSoftware product lines+39 plus

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 plus

Formal Methods in Computer-Aided Design (FMCAD)

Rank: BOffline
Menlo Park, California, USA
Oct 6, 2025 - Oct 10, 2025
Formal MethodsComputer-Aided DesignModel checking+35 plus