Requirements formalisation problems and solutions will be addressed in the keynote of Panagiotis Katsaros from University of Thessaloniki, Greece