logo
specification

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

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

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

Rank: BOffline
Seoul, South Korea
Jun 16, 2025 - Jun 17, 2025
Programming language challengesDomain-specific languagesFeatures to exploit multicore+85 بیشتر

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

International Conference on Principles of Distributed Systems (OPODIS)

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

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

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
Formal MethodsSoftware EngineeringSoftware Development Methods+49 بیشتر