Hallo Herr Federrath, eine Kleinigkeit bezüglich des Flyers: vielleicht sollte man schreiben "… formaler u n d mathematisch präziser … " . Darüber bin ich bin da vorgestern schon gestolpert. Aber es ist eine Frage der "Klammerung". Vielen Dank für Ihre Mühe Werner Stephan PD Dr. habil. Werner Stephan Principal Researcher, Head of DFKI Research Unit Safe and Secure Systems - Verification and Evaluation DFKI GmbH, Campus D32, Stuhlsatzenhausweg 3, D-66123 Saarbruecken Please notice my new phone numbers: Phone +49.681.85775-5296 Fax +49.681.85775-2235 Secr +49.681.85775-5276 Mobile +49.171.5338618 ----------------------------------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH Trippstadter Strasse 122, D-67663 Kaiserslautern, Germany Geschaeftsfuehrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 ------------------------------------------------------------------------------------------------- Am 21.11.2012 um 17:31 schrieb Hannes Federrath <federrath@informatik.uni-hamburg.de>:

<flyer.pdf>