logo
Formal methods

Conference Results (18)

Software Quality, Reliability, and Security (QRS)

Rank: COffline
Florence, Italy
Jul 22, 2026 - Jul 25, 2026
ReliabilitySecurityAvailability+40 more

International Conference on Coordination Models and Languages (Coordination)

Rank: COffline
Urbino, Italy
Jun 8, 2026
distributed computingformal methodslanguage design+2 more

International Conference on Internet Technologies and Applications (ITA)

Rank: National: USAHybrid
Sydney, Australia
Jun 20, 2026 - Jun 22, 2026
Artificial IntelligenceMachine LearningData Mining+111 more

International Symposium on Functional and Logic Programming (FLOPS)

Rank: National: JapanOffline
Tsukuba, Japan
May 26, 2026 - May 28, 2026
functional programminglogic programmingfunctional-logic programming+7 more

Automation of Software Test (AST)

Rank: COffline
Rio de Janeiro, Brazil
Apr 13, 2026 - Apr 14, 2026
AI for Automated Software TestingTesting of AI-based systemsEffective testing through explainable AI+41 more

International Conference on Reliable Software Technologies (Ada-Europe)

Rank: Journal PublishedOffline
Västerås, Sweden
Sep 6, 2026
Formal MethodsTestingHigh-Integrity Systems and Reliability+4 more

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

Rank: COffline
Crete, Greece
Oct 27, 2024 - Oct 31, 2024
Formal MethodsAIEconomics+26 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

International Conference on Software Engineering (ICSE)

Rank: A*Offline
Rio de Janeiro, Brazil
Apr 12, 2026 - Apr 18, 2026
SocialSoftware Engineering Education and TrainingNew Ideas and Emerging Results+68 more

Workshop on Logic, Language, Information and Computation (WoLLIC)

Rank: COffline
Lima, Peru
Aug 3, 2026
foundations of computingArtificial Intelligencenatural language+7 more

IEEE Symposium on Logic in Computer Science (LICS)

Rank: A*Offline
Lisbon, Portugal
Jul 20, 2026 - Jul 23, 2026
automata theoryautomated deductioncategorical models and logics+35 more