logo
transformation

Conference Results (6)

Foundations of Software Science and Computational Structures (FOSSACS)

Rank: AOffline
Turin, Italy
Apr 13, 2026 - Apr 16, 2026
categorical models and logicsautomataspatial+24 more

International Conference on Logic Programming (ICLP)

Rank: AOffline
Rende, Italy
Sep 15, 2025 - Sep 19, 2025
Logic ProgrammingFormal and operational semanticsNon-monotonic reasoning+26 more

International Conference on Software Engineering (ICSE)

Rank: A*Offline
Rio de Janeiro, Brazil
Apr 12, 2026 - Apr 18, 2026
SocialSoftware Engineering Education and TrainingNew Ideas and Emerging Results+68 more

International Workshop on Modelling in Software Engineering (MISE)

Rank: COffline
Rio de Janeiro, Brazil
Apr 15, 2026 - Apr 17, 2026
SocialJournal-first PapersDemonstrations+69 more

International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)

Rank: COffline
Rende, Italy
Sep 9, 2025 - Sep 10, 2025
synthesistransformationspecialization+13 more

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

Rank: COffline
Liverpool, UK
Sep 2, 2026
Formal specificationCase studiesCertification+7 more