Actualités du projet

  • 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 reçoit le Software System Awards de l'ACM 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 communication a é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
Last modified: Mon Jan 2 22:53:31 CET 2017