General Info:

Start Date: 15 Dec 2016
Start Time: 09:00
End Date: 15 Dec 2016
End Time: 11:00
Location: Fondazione Bruno Kessler (Povo), Sala Stringa


The program was structured as follows:
  • 9:00 – 9:45 "Collaborative Design for Embedded Systems - Co-modelling and Co-simulation" Speaker: Marcel Verhoef (European Space Agency)
  • 9:45 – 10:30 "Causality Checking" Speaker: Stefan Leue (University of Konstanz)
  • 10:30 – 11:00 Coffee Break
  • 11:00 – 11:45 "Diagnosability Planning for Controllable Discrete Event Systems" Speaker: Philippe Dague (Université Paris-Sud / LRI)
A substantial amount of the program was reserved for discussion, feedback and interaction among participants. A detailed abstract for each talk can be found in the flyer available in the download section of this page.