Liebe Kollegen und Freunde,
beim letzten D-CON-Treffen in Bamberg war angeregt worden, den Termin für das
nächste Treffen in Münster möglichst frühzeitig festzulegen. Deshalb starten wir
jetzt schon eine DOODLE-Umfrage, um den besten Termin zu finden. Wie üblich soll
das Treffen in der vorlesungsfreien Zeit nach dem Wintersemester aber noch vor
ETAPS stattfinden; ETAPS beginnt am 26. März. Da wir in diesem Zeitfenster immer
auch unser Softwarepraktikum anbieten, sind wir in der Terminwahl nicht ganz
frei und haben die Termine deshalb von vornherein schon etwas eingeschränkt.
Gedacht ist wieder an ein zweitägiges Treffen an einem Wochenrandtermin. Hier
die Adresse für die DOODLE-Umfrage:
http://www.doodle.com/afcnkg5u5tdmc86q
Bitte erfasst dort eure Constraints bis Freitag, den 4.6.2010, am besten
koordiniert für jede Gruppe. Wir werden dann den Termin festlegen und bekannt geben.
Wir freuen uns jetzt schon auf euren Besuch in Münster!
Viele Grüße,
Markus
--
Prof. Dr. Markus Müller-Olm
Westfälische Wilhelms-Universität Münster
Institut für Informatik, FB 10
Einsteinstraße 62, D-48149 Münster, Germany
Phone: ++49-251-83-33765
Fax: ++49-251-83-33755
E-mail: mmo(a)math.uni-muenster.de
Hallo,
die angekündigte Concurrency-Seite ist unter:
http://www.concurrency-theory.org
erreichbar. Ich hab einen Vorschlag für die Seiten der letzten D-Con
umgesetzt. Aber wie gesagt, das ist nur ein Vorschlag. Davon abgesehen
sind die Seiten noch sehr inhaltsleer, aber das kann ab jetzt jeder
selbst mit ändern. ;-)
Um einen Login einzurichten benötige ich eine E-Mail-Addresse.
Wenn irgendetwas fehlt, schreibt mich bitte an oder postet ins Forum.
Vorschläge, was verbessert werden kann, sind ebenfalls willkommen.
Viele Grüße,
Kirstin Peters
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/
Liebe Freunde, liebe Kollegen,
nun sind uns doch Vorschläge/Korrekturen unter den Tisch gefallen:
4 Holger Herrmans Gruppe hat Ihren Abstrakt zum Thema "Concurrency
Theory in the Analysis of Wireless Sensor Systems" etwas umgebaut.
10 Aus Duisburg-Essen haben wir einen Vorschlag von Christoph Blume
und Mathias Hülsbusch übersehen: "Hiding graphs in cospans - for fun and
profit"
Die ergänzte/erweiterte Liste liegt im Anhang. Wer schon gedoodelt hat,
bitte klickt euch nochmals rein für Nummer 10:
http://www.doodle.com/dikwy9yhvqu624a8
Sorry für die Kommunikationspanne,
Viele Grüße,
Michael
--
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/
Liebe Freunde, liebe Kollegen,
Herzlichen Dank für alle Rückmeldungen! Es sind bisher immerhin 9
Vorschläge zusammengekommen. Wir haben diese Themenvorschläge nun per
Doodle zur Abstimmung online:
http://www.doodle.com/dikwy9yhvqu624a8
Die ABSTRACTS findet Ihr im angehängten pdf!
Bitte gebt uns Eure Präferenzen spätestens bis nächsten Mittwoch, 3.2.2010.
Klar, dass nur abstimmen sollte, wer auch zur D-CON nach Bamberg kommen
will. Und von denen bitte möglichst ALLE! Gebt den Link deshalb auch an
teilnehmende Doktoranden/Mitarbeiter weiter, für den Fall, dass sie
nicht auf der d-con Mailing-liste stehen.
Ich hoffe, ich habe keinen Themenbeitrag vergessen. Falls doch, meldet
Euch bitte! Ich ergänze dann die Liste. Es kann auch noch nachgemeldet
werden.
Herzliche Grüße,
Michael
--
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/
Liebe Kollegen, liebe Freunde,
bitte denkt daran, dass wir gerne bis morgen Themenvorschläge einsammeln
würden, aus denen wir per Umfrage unser Programm für die D-CON im März
zusammenbauen wollen.
Ein Vorschlag muss kein langer argumentierter Abstract sein. Es reicht,
wenn sich aus dem Titel und einer Kurzbeschreibung (evtl. Stichpunkte)
erkennen lässt, worum es gehen soll.
Momentan haben wir erst sehr wenige Rückmeldungen.
Herzlichen Dank und Beste Grüße,
Michael
--
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/
Liebe Freunde und Kollegen,
wir wünschen Euch allen ein gutes neues Jahr!
Es wird Zeit, einige Vorbereitungen für D-CON 2010 am 4.-5. März zu
treffen. Hierzu nun eine knappe Zusammenfassung unserer bisherigen
Überlegungen mit der Bitte um Rückmeldungen.
Wir wollen im Wesentlichen die Philosophie des letzten Treffens in
Berlin beibehalten, d.h. neben allgemeinen Plenarveranstaltungen
(parallele) Themensitzungen durchführen, die durch Doktoranden
vorgeschlagen und geleitet werden; außerdem hinreichend Pausen für
Gespräche dazwischen. Zwei Änderungen wollen wir ausprobieren: Erstens
möchten wir an beiden Tagen eingeladene „Keynote“-Vorträge
(Forschungsergebnisse oder Tutorien) zu interessanten DCON Themen
einplanen. Zweitens ist es sicher sinnvoll, dass wir die Auswahl der
Themensitzungen im Voraus treffen. Dann wissen wir frühzeitig, welcher
Vorschlag hinreichend Interesse und damit Teilnehmer findet. Dazu gleich
mehr. Ansonsten halten wir die Veranstaltung bewährt informell.
Wie auch in den früheren Treffen werden wir alle Teilnehmer um einen
kleinen Unkostenbeitrag bitten, schätzungsweise in der Gegend von 30€.
Wir bitten Euch (und insbesondere Eure Doktoranden) nun
1. um Vorschläge für Themenrunden,
2. um frühzeitige verbindliche Anmeldung für D-CON und Buchung der
Unterkunft,
3. , die unten angegebenen Termine zu beachten
------------------------------
Ad 1) Doktorandenthemenrunden:
------------------------------
Nach unserer momentanen Planung werden wir bis zu 8 Themensitzungen
(maximal zwei parallel) ausrichten können. Jede Themensitzung dauert 60
Minuten. Wie im letzten Jahr soll eine Themensitzung von einem
Doktoranden oder einer Doktorandengruppe vorgeschlagen werden und einen
Theme Leader haben, der die Sitzung leitet. An einer solchen Sitzung
kann dann jeder teilnehmen, den das Thema interessiert. Wie eine
Themensitzung dann konkret ausgestaltet ist können die Theme Leader
selbst festlegen: Beispielsweise eine Diskussionsrunde mit Moderator,
ein einführender Überblicksvortrag mit anschließenden informellen
Einzelbeiträgen der Teilnehmer an der Tafel/Whiteboard, oder ein
klassischer Fachvortrag mit ausführlicher Diskussion.
Die Aufteilung in parallele Sitzungen hat den Vorteil, dass wir
kleinere Gruppen bekommen und mehr Themen zur Auswahl anbieten können.
Wir stellen uns vor, dass von jeder Forschungsgruppe mindestens ein
Vorschlag kommen sollte. Je mehr desto besser. Diese Vorschläge sammeln
wir und doodeln im Vorfeld Eure Präferenzen. Wir planen dann
entsprechend dem Abstimmungsergebnis. Wenn ein Vorschlag zu wenig
Teilnehmer anzieht, wird er also noch rechtzeitig vor dem Workshop
gestrichen, so dass sich niemand unnötig vorbereitet. Auch die
potentiellen Teilnehmer können sich gegebenenfalls vorbereiten wollen.
Vielleicht möchte ja jemand in einer Sitzung ein ungelöstes Problem
behandeln und mit den Teilnehmern über eine Lösung diskutieren?
Bitte schickt Eure Vorschläge bis zum 22.1.2010 an das
Sekretariat der Professur für Grundlagen der Informatik
Frau Gaby Bauer
email: gaby.bauer(a)uni-bamberg.de
Tel: 0951 863 2830
---------------------------------------------------------------------
Ad 2) Frühzeitige verbindliche Anmeldung und Buchung der Unterkunft
---------------------------------------------------------------------
Als Anmeldeschluss für die Teilnahme D-CON 2010 haben wir den 12.2.2010
festgelegt. Ihr helft uns enorm bei der Kalkulation, wenn Ihr Euch bald
verbindlich anmeldet. Am besten gleich nächste Woche. Bitte meldet Euch
mit den üblichen Daten per Email bei Frau Bauer (Name, Affiliation,
Email, Ankunftstag+Zeit soweit bekannt, Abreisetag+Zeit soweit bekannt).
Wir haben in einigen günstigen Bamberger Hotels Zimmer optioniert. Diese
sind nur bis Ende Januar garantiert. Wer seine Teilnahme schon festlegen
kann, bucht bitte deshalb gleich in den nächsten Wochen direkt beim
jeweiligen Hotel. Auch Frau Bauer steht Euch bei Fragen zur Unterkunft
zur Verfügung.
Hier ist unsere Hotelempfehlung (Liste nach EZ-Preis):
Hotel zum kleinen ringlein: 5 Zi. optioniert bis ende jan EZ:45, DZ: 65
0951 9532600
http://www.zum-kleinen-ringlein.de/
Hotel Weierich: 10 Zi. optioniert bis ende jan, EZ:48, DZ: 75
0951 91700777
http://www.hotel-weierich.de/
Hotel Central: 10 Zi. optioniert bis ende jan, EZ:49, DZ: 69
0951 981260
http://www.central-bamberg.com/
Hotel Ringlein: 5 Zi. optioniert bis ende jan EZ:59, DZ: 79
0951 95320
http://www.alt-ringlein.com/
Wer mehr Geld (jenseits 90€) ausgeben kann und es exklusiver möchte, dem
empfehlen wir
Hotel Palais Schrottenberg ( http://www.palais-schrottenberg.com/ )
Hotel Residenzschloss (
http://www.welcome-hotels.com/de/bamberg_residenzschloss_zimmer_preise )
Hotel Bamberger Hof ( http://www.hotelbambergerhof.de/html/ )
Hotel Brudermühle ( http://www.brudermuehle.de/ )
Hotelliste Bamberg qua HRS Hotel Reservation Service:
(
http://www.hrs.de/web3/search.do;jsessionid=F6987F665B79023602B44127C5ADB13…
)
-------------------------
Ad 3) Wichtige Termine
-------------------------
Fr 22.1.2010 Themenvorschläge abgeben (email an Sekretariat Frau Bauer)
Fr 12.2.2010 Anmeldeschluss für Workshop (email an Sekretariat Frau Bauer)
Do 4.3.2010 - Fr 5.3.2010 D-CON 2010 Workshop
Soweit von uns zur DCON. Wir wünschen euch einen schönen Start ins Jahr
2010 und hoffen bald von Euch zu hören!
Mit besten Grüßen,
Michael und Gerald
PS: Ich bin nicht sicher, ob meine Email bei Euch im Mailclient
zeilenmäßig richtig umgebrochen wird. Deshalb habe sicherheitshalber
noch eine pdf-Kopie angehängt.
--
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/
Liebe Freunde und Kollegen,
aufgrund Eures klaren Votums können wir den Termin für die D-CON 2010
nun relativ eindeutig festlegen. Leider gibt es keine Tage, an denen
alle Zeit haben, aber wir kommen dem Ideal recht nahe:
Wie es aussieht, haben am
Donnerstag + Freitag 4.-5. März 2010
alle bis auf Joost-Pieter Zeit.
Christel und Javier, ich nehme an, Ihr habt die Umfrage über die
DCON-Liste mitbekommen? Wenn Ihr teilnehmen könnt und eine Präferenz für
einen anderen Termin, etwa Mo+Di 8.-9.3.2010 hättet, würde das das Bild
nochmals ändern.
Ansonsten schlagen wir also hiermit den obigen Termin vor, d.h. wir
beginnen am Donnerstag früh 4. März (Anreise Mittwoch) und schließen am
Freitag 5. März gegen Mittag. Wer übers Wochenende noch in Bamberg
bleiben möchte, ist recht herzlich eingeladen.
Also bitte den Termin fest eintragen! Wir melden uns demnächst mit einen
Diskussionsvorschlag für das Programm.
Bis dahin herzliche Grüße aus Bamberg,
Michael
--
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/
Hallo liebe Freunde und Kollegen,
es wird Zeit, einen Termin für unser nächstes Treffen 2010 in Bamberg
festzulegen.
Wir schlagen vor, den Workshop wieder zwischen dem WS-Semester und ETAPS
abzuhalten, das wäre dann das Fenster 15. Februar -- 17.März 2010. Der
18. und 19.3. ließen sich noch hinzufügen, wenn nötig. ETAPS beginnt am
22.3.2010.
Ebenso möchten wir das 2-Tage Schema beibehalten, Mo+Di oder Do+Fr,
wobei wir für jede andere Einteilung offen sind. Bamberg ist genauso
wie Berlin eine Reise wert und ein Wochenende anzuschließen lohnt sich!
Zunächst würden wir Euch gerne bitten, zur Terminfindung mitzudoodlen,
nämlich bei
http://www.doodle.com/irpk9s7hdqmp2ax3
und gegebenenfalls auch Kommentare zu senden, wenn Ihr besondere
Anregungen/Wünsche zum Ablauf habt. Die Ausgestaltung des Treffens wird
noch diskutiert, dazu aber ein andermal mehr email mit Vorschlägen von
unserer Seite.
Legt Euch bitte möglichst bald terminlich fest!
Wir wünschen allen ins schönen Einstieg ins Wintersemester (bei uns am
19.10.),
Beste Grüße,
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/
Hallo,
alle die am Sonntag mit zu einem geselligen Abendessen kommen möchten,
können sich mit uns gegen 20:00 Uhr in der Hotelhalle treffen. Wir
würden dann von dort aus eines der Restaurants in der Nähe ansteuern.
Viele Grüße,
Kirstin