logo
Formal methods

نتایج کنفرانس‌ها (15)

IEEE Symposium on Logic in Computer Science (LICS)

Rank: A*Offline
Singapore
Jun 23, 2025 - Jun 26, 2025
automata theoryautomated deductioncategorical models and logics+35 بیشتر

International Conference on Formal Methods and Models for Co-Design (MEMOCODE)

Rank: COffline
Taipei, Taiwan
Oct 2, 2025 - Oct 3, 2025
Formal MethodsModelsSystem Design+5 بیشتر

International Symposium on Fundamentals of Computation Theory (FCT)

Rank: BOffline
Institute of Computer Science, University of Wrocław, Poland
Sep 15, 2025 - Sep 17, 2025
AlgorithmsComplexityFormal Methods+52 بیشتر

Information Security Conference (ISC)

Rank: COffline
greater Washington DC area
Oct 23, 2024 - Oct 25, 2024
access controlanonymityapplied cryptography+39 بیشتر

International Symposium on Formal Methods (FM)

Rank: AOffline
Tokyo, Japan
May 18, 2026 - May 22, 2026
Formal MethodsSoftware DevelopmentSystems Development

International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)

Rank: COffline
Düsseldorf, Germany
Jun 11, 2025 - Jun 13, 2025
Rigorous State Based MethodsAbstract State MachinesAlloy+5 بیشتر

IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)

Rank: BOffline
Hangzhou, China
Jul 2, 2025 - Jul 4, 2025
Model-driven developmentModel checkingSAT/SMT solvers for software analysis and testing+60 بیشتر

International Conference on Tests and Proofs (TAP)

Rank: COffline
Milan, Italy
Sep 9, 2024 - Sep 10, 2024
VerificationFormal MethodsStatic Analysis+3 بیشتر

Annual Conference on Computer Science Logic (CSL)

Rank: BOffline
Paris, France
Feb 23, 2026 - Feb 28, 2026
automated deduction and interactive theorem provingconcurrency and distributed computationconstructive mathematics and type theory+27 بیشتر

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

Rank: National: IndiaOffline
BITS Pilani, K K Birla Goa Campus
Dec 17, 2025 - Dec 19, 2025
Algebraic ComplexityAlgorithms and Data StructuresAlgorithmic Graph Theory and Combinatorics+35 بیشتر

Automation of Software Test (AST)

Rank: COffline
Rio de Janeiro, Brazil
Apr 13, 2026 - Apr 14, 2026
Software Quality Assurance (SQA)Software testing automationAI for Automated Software Testing+43 بیشتر

Integrated Formal Methods (IFM)

Rank: BOffline
Paris, France
Nov 19, 2025 - Nov 21, 2025
Formal MethodsModellingVerification+3 بیشتر