Call for papers: International Workshop on Sustainability and Modeling (SusMod) – co-located with MODELS’24
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 …