Posted on 16 June 202129 June 2021 by ebersoldRequirements formalisation problems and solutions will be addressed in the keynote of Panagiotis Katsaros from University of Thessaloniki, Greece