Dear colleague,

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