logo
Specification

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

Formal Methods in Computer-Aided Design (FMCAD)

Rank: BOffline
Menlo Park, California, USA
Oct 6, 2025 - Oct 10, 2025
Formal MethodsHardware VerificationSystem Verification+4 بیشتر

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BOffline
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Statistical and probabilistic analysisSynthesisPerformance estimation and analysis of other non-functional properties+49 بیشتر

International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)

Rank: COffline
Castello di Rende University of Calabria, Rende, Italy
Sep 9, 2025 - Sep 10, 2025
Logic-based program developmentsynthesistransformation+13 بیشتر

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 بیشتر

International Conference on Principles of Distributed Systems (OPODIS)

Rank: BOffline
Iaşi, Romania
Dec 3, 2025 - Dec 5, 2025
Distributed computingDistributed computer systemsTheory+4 بیشتر