the D-CON 2015 Workshop http://moves.rwth-aachen.de/d-con2015/ is approaching rapidly. We would therefore like to invite all participants to propose topics for their presentations or for general discussion.
Please do so
* by the end of this week (30 January) *
such that we can soon start to set up the workshop program.
So far, the following presentations have been announced: Marieke Huisman (Twente): Invited Talk [please provide title & abstract] Sascha Fendrich (Bamberg): Nondeterministic Modal Interfaces Henning Kerstan (Duisburg-Essen): Behavioral Metrics via Functor Lifting Stefan Rieger (TWT): Formal Modeling and Analysis in Industry - Exemplary Application to the European Train Control System (ETCS) [please provide an abstract]
We are looking forward to an interesting D-CON 2015 Workshop!
Best regards, Christina & Thomas