logo
synthesis

نتایج کنفرانس‌ها (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 بیشتر

Workshop on Programming Languages and Operating Systems (PLOS)

Rank: COffline
Seoul, Republic of Korea
Oct 13, 2025
specialization,techniquestype-safe+89 بیشتر

IEEE International Conference on Visual Communications and Image Processing (VCIP)

Rank: COffline
Klagenfurt, Austria
Dec 1, 2025 - Dec 4, 2025
Visual CommunicationsImage ProcessingConventional image and video+63 بیشتر

International Conference on Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrencyabstract machinesdomain-theoretic models+63 بیشتر

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Rank: A*Offline
The Westin Josun Seoul, Seoul, South Korea
Jun 16, 2025 - Jun 20, 2025
CompilersSynthesisSecurity+19 بیشتر

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

International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES)

Rank: BOffline
Taipei, Taiwan
Sep 28, 2025 - Oct 3, 2025
CompilersArchitecturesSynthesis+12 بیشتر