D-CON 2015: Call for Contributions
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 -- D-CON 2015 Organisers d-con2015@cs.rwth-aachen.de
participants (1)
-
D-CON 2015