Evénements en lien avec la thématique d'IMPEX

  • Track "Semantic heterogeneity in the formal development of complex systems" organisée par Idir Ait Saddoune et Paul Gibson dans le cadre de la conférence internationale ISOLA 2014. Une communication a été faite en lien avec IMPEX.
  • Workshop BIF organisé à Toulouse 6-7 septembre 2016 à l'ENSEIIT Toulouse - IRIT a rassemblé les partenaires et membres des projets ANR BWare, IMPEX et FORMOSE. Le programme de ce workshop présente les résultats des différents projets et les interactions possibles.
  • Track "Semantic heterogeneity in the formal development of complex systems" organisée par Idir Ait Saddoune, Paul Gibson et Marc Pantel dans le cadre de la conférence internationale ISOLA 2016. Une introduction a été faite en lien avec IMPEX et la session spécialement organisée.
  • Seminar "Implicit and explicit semantics integration in proof based developments of discrete systems" organised at Shonan Village Center from November 22 till November 25 2016 by Yamine Ait-Ameur, Shin Nakajima (National Institute of Informatics, Japan) and Dominique Méry.
  • IMPEX'2017 First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development Co-located with ICFEM 2017 (19th International Conference on Formal Engineering Methods) in Xi’an, China, 13-17th November 2017