Andrea Vestrucci Receives Best Paper Award at ISDIA 2026

Andrea Vestrucci, together with Philip Waelde from FU Berlin, has received the Best Paper Award at the 10th International Conference on Information System Design and Intelligent Applications, ISDIA 2026, dedicated to “Agentic AI & Sustainability.” The conference was held at the University of Wollongong in Dubai. The awarded paper, “AI Governance for Sustainable Smart Cities: Formalizing Value Ontologies in Isabelle/HOL,” will be published in 2026 in Springer’s Lecture Notes in Networks and Systems