The objectives will be achieved through:
- work group meetings;
- short-term scientific exchanges;
- information exchange with industry;
- initiation and maintenance of an online forum and an online reference for the area of automated reasoning;
- publications of results in leading computer science conferences and journals;
- organizations of tool competition in the area of automated analysis, synthesis, and certification of Rich Models;
- training of PhD students through advanced seminars.