Réunions/Meetings

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
  • 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
  • Prochaine Rencontre à Aix-en-Provence le 12 septembre  2018 organisée par Systerel