Réunions des partenaires
- Le 16 décembre 2013, les partenaires du projet IMPEX se sont réunis à Paris dans les locaux de l’ENST pour le lancement du projet. Mme Fatiha Boudjaine de l’ANR a présenté les différents aspects de suivi de ce projet.
- 24 et 25 janvier 2014: Tâche 1 et Tâche 2 à Toulouse pour une réunion de concertation.
- 19 et 20 mars 2014: Réunion Plénière à Supelec, Gif-sur-Yvette
- Pierre Castéran, membre du projet IMPEX, reçoit le ACM Software System Award (2013)S avec ses collègues de l’équipe COQ .
- Rencontre à Toulouse le 18 juin 2014 à l’IRIT ENSEIHT
- Track « Semantic heterogeneity in the formal development of complex systems » organisé par Imine Ait Saddoune et Paul Gibson dans le cadre de la conférence internationale ISOLA 2014. Une communicationa été faite en lien avec IMPEX.
- Rencontre à Toulouse le 14 et 15 janvier 2015 organisée par l’IRIT
- Rencontre à Aix-en-Provence le 1 et 2 juin 2015 organisée par Systerel
- Evaluation mi-parcours à l’ANR le 3 novembre 2015 à Paris
- Rencontre à Nancy le 30 novembre et le 1 décembre 2015 organisée par le LORIA
- Rencontre à Paris le 13 juin 2016 organisée par TSP
-
Organisation Shonan Meeting No.090 Implicit and explicit semantics integration in proof based developments of discrete systems (November 22-25, 2016). Le rapport de cette réunion est disponible.
- Rencontre à Gif le 7 et 8 décembre 2016 organisée par CentraleSupelec
- Rencontre à Aix en Provence le 20 et 21 Juin 2017 organisée par Systerel
- Organisation du workshop IMPEX’2017 à Xi’an dans le cadre de la conférence ICFEM 2017 et les actes sont publiés dans la série EPTCS.
- Rencontre à Paris Telecom le 11 et 12 décembre 2017 organisée par TSP
- Rencontre à Aix-en-Provence le 12 septembre 2018 organisée par Systerel
- Fin du projet le 15 décembre 2018.