logo
Transformation

カンファレンス検索結果 (5)

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
transformationspecializationinversion+13 その他

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 その他

International Symposium on Code Generation and Optimization (CGO)

Rank: AOffline
Sydney, Australia
TBD
Code generationtranslationtransformation+53 その他

Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS)

Rank: COffline
Liverpool, UK
Sep 2, 2026
Automated analysisVerification and validation methodsFormal specification+7 その他