The objectives will be achieved through:

  1. work group meetings;
  2. short-term scientific exchanges;
  3. information exchange with industry;
  4. initiation and maintenance of an online forum and an online reference for the area of automated reasoning;
  5. publications of results in leading computer science conferences and journals;
  6. organizations of tool competition in the area of automated analysis, synthesis, and certification of Rich Models;
  7. training of PhD students through advanced seminars.