Call for papers: 2nd International Workshop on Sustainability and Modeling (SusMod) – co-located with MODELS’25
https://sustainability-and-modeling.github.io/ Sustainability is becoming a key characteristic of modern systems. While this trend has been long recognized, rigorous formal methods for assessing sustainability, reasoning about often contradicting sustainability properties, and …
