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