logo
Synthesis

会议结果 (6)

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 更多

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 更多

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 DesignProgramming Language ImplementationProgramming Language Theory+19 更多

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 Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrencyabstract machinesdomain-theoretic models+63 更多

International Conference on Compiler Construction (CC)

Rank: BOffline
Las Vegas, Nevada, United States
Mar 1, 2025 - Mar 2, 2025
Compilation and interpretation techniquesprogram representationanalysis+26 更多