Liebe Freunde, liebe Kollegen, vielen Dank für eure Themenvorschläge und Doodle Votes! 1 Themenauswahl ------------------ Auf der Basis der Votes schlagen wir vor, folgende Themen zu behandeln: Thema 1: Nebenläufigkeit und Kausalität von Interaktion offener Systeme (Essen) Thema 2: Synchrone und Asynchrone Interaktion in verteilten Systemen (Braunschweig + Berlin) Thema 3: Parallelisation of Decision Procedures (Bamberg) Thema 5: Verifizierte Analysen für Nebenläufige Programme (Münster) Thema 7: Verifikation von Safety und Livenesseigenschaften verteilter Algorithmen (Berlin) Thema 8: From Parallelism of expression to concurrent executions of dataflow functional programs (Bamberg) Thema 9: Operational Partial Order Semantics for Relaxed Memory Consistency Models (Saarland + Braunschweig) Wenn wir das richtig sehen, sind somit auch tatsächlich alle Gruppen (die sich beteiligt haben) vertreten. 2 Zum Programm ---------------- In der Anlage findet Ihr das vorläufige Programm. Neben den Themenrunden wollen wir 2 eingeladene Vorträge einbauen. Eine Zusage haben wir bereits: Christian Lengauer von der Uni Passau wird einen Vortrag zum Thema "Parallelisierung" halten. Genaueres geben wir noch bekannt. Siehe auch http://software.intel.com/en-us/videos/prof-christian-lengauer-thinks-parall... Den zweiten Vortrag haben wir noch nicht bestätigt. Ausserdem würden wir gerne eine Diskussionsrunde unter den Profs und Dozenten durchführen zur Frage "Concurrency Inhalte im Curriculum, Spezialisierung oder wichtige Basisausbildung der Informatik?, Was sollte kanonisch gelehrt werden?" Oder so ähnlich. Die Anregung dazu stammt von Ulla (und Uwe?), die wir sehr gerne aufnehmen. 3 Vorbereitung ---------------- Wir bitten alle Themeleader ihre Sessions vorzubereiten. Alle Gruppenleiter sollten eine maximal 5-minütige Kurzvorstellung Ihrer Arbeitsgruppen vorbereiten und für die Diskussionsrunde am Freitag auch eine knappe Darstellung Ihrer/der Concurrencylehre vor Ort. 4 Anmeldung ------------ Nicht vergessen: Wer noch nicht angemeldet ist, sollte dies bitte umgehend bis nächsten Dienstag bei Frau Bauer (cc) nachholen. Wir bestellen auf der Teilnehmerzahl am nächsten Mittwoch unser Catering. Herzlichen Dank! Wir wünschen Euch ein schönen Fasching/Karneval Mit besten Grüßen, Michael und Gerald -- Prof. Michael Mendler, PhD Universität Bamberg Professur für Grundlagen der Informatik The University of Bamberg Faculty of Information Systems and Applied Computer Sciences Informatics Theory Group Feldkirchenstraße 21 D-96045 Bamberg Germany Phone: ++49 951 863-2828 Fax: ++49 951 863-5528 E-Mail: michael.mendler@uni-bamberg.de WWW: http://www.gdi.uni-bamberg.de/personnel/mendler/