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
  • Prochaine Rencontre à Paris le 13 et 14 juin 2016 organisée par TSP
Last modified: Tue May 17 19:13:32 CEST 2016