Scientific Programme

Thursday   16. November 2017

  • 9h00 Session 1 Introduction   of the topics for IMPEX2017
  • 9h15 Keynote Speaker Professor Dines Bjoerner title to be announced
  • 10h15-10h30 Pause
  • 10h30 Session 2 Position Papers
    • Idir Ait-Sadoune and Yamine Ait Ameur : Formal modeling of ontologies within Event-B
    • Sylvain Conchon : title to be announced
    • Paul Gibson : Explicit modelling of physical measures From Event-B to Java
    • Elena Troubitsina : title to be announced
  • 12h15 Session 3  Conclusion and Perspectives