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-paral…
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(a)uni-bamberg.de
WWW: http://www.gdi.uni-bamberg.de/personnel/mendler/