logo
synthesis

Conference Results (7)

Formal Methods in Computer-Aided Design (FMCAD)

Rank: BOffline
Menlo Park, California, USA
Oct 6, 2025 - Oct 10, 2025
Formal MethodsHardware VerificationSystem Verification+4 more

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BOffline
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Securityprivacyand trust+49 more

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 more

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
Programming Language ImplementationProgramming Language TheoryProgramming Language Applications+19 more

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 more

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 more

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

Rank: BOffline
Taipei, Taiwan
Sep 28, 2025 - Oct 3, 2025
CompilersArchitecturesSynthesis+12 more