logo
transformation

会议结果 (6)

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

International Symposium on Code Generation and Optimization (CGO)

Rank: AOffline
Sydney, Australia
Jan 31, 2026 - Feb 4, 2026
Code generationtranslationtransformation+37 更多

International Conference on Logic Programming (ICLP)

Rank: AOffline
University of Calabria, Rende (CS), Italy
Sep 12, 2025 - Sep 19, 2025
Logic ProgrammingFormal and operational semanticsNon-monotonic reasoning+26 更多

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 Conceptual Modelling (ER)

Rank: AOffline
Poitiers / Futuroscope, France
Oct 20, 2025 - Oct 23, 2025
Conceptual ModelingHuman-centred and inclusive modelingModel explainability and transparency+124 更多

Foundations of Software Science and Computational Structures (FOSSACS)

Rank: AOffline
Hamilton, Canada
May 5, 2025 - May 8, 2025
Software ScienceCategorical Models and LogicsLanguage Theory+25 更多