logo
specification

컨퍼런스 결과 (10)

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 더 보기

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 더 보기

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

Rank: COffline
Crete, Greece
Oct 27, 2024 - Oct 31, 2024
Formal MethodsVerificationValidation+24 더 보기

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 더 보기

International Conference on Coordination Models and Languages (Coordination)

Rank: COffline
Lille, France
Jun 16, 2025 - Jun 20, 2025
Theoretical models and foundations for coordinationcomponent compositionconcurrency+67 더 보기

ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES)

Rank: BOffline
Seoul, South Korea
Jun 16, 2025 - Jun 17, 2025
Programming languagescompilerstools+75 더 보기

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 더 보기

Design, Automation and Test in Europe Conference (DATE)

Rank: BOffline
Verona, Italy
Apr 20, 2026 - Apr 22, 2026
Electronic System DesignTestHardware Design+84 더 보기

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 더 보기

International Conference on Principles of Distributed Systems (OPODIS)

Rank: BOffline
Iaşi, Romania
Dec 3, 2025 - Dec 5, 2025
Distributed computingDistributed computer systemsTheory+4 더 보기