17.15 | Opening |
17.30 | Prof. Dr. Rolf von Lüde: Von Akteuren, Agenten und den Wagnissen transdisziplinärer Kooperation |
17.45 | Prof. Dr. Kees van Hee: Correctness-by-construction using simultaneous place refinements |
18.15 | Prof. Dr. Wolfgang Reisig: 65 Jahre Rüdiger Valk; 50 Jahre Modellierung von Verhalten |
18.45 | Schlusswort |
18.50 | Reception |
~20.00 | End |