- D-CON - lists.rwth-aachen.de

D-CON 2010 Themenauswahl, Bitte um Anmeldung, Info zum Programm
by Michael Mendler 12 Feb '10

12 Feb '10

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/

1 0

D-CON 2010: Neuer Themenvorschlag ist online
by Michael Mendler 27 Jan '10

27 Jan '10

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/

1 0

D-CON 2010: Themenvorschläge sind online -- Bitte um Präferenzen
by Michael Mendler 26 Jan '10

26 Jan '10

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/

1 0

Themenvorschläge D-CON 2010
by Michael Mendler 21 Jan '10

21 Jan '10

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/

2 1

D-CON 2010 Planung + Themenvorschläge
by Michael Mendler 08 Jan '10

08 Jan '10

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/

1 0

Termin: D-CON 2010
by Michael Mendler 29 Oct '09

29 Oct '09

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/

1 0

DCON = GECCO 2009 When 2 Meet?
by Michael Mendler 12 Oct '09

12 Oct '09

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/

2 1

German Chapter CONCUR - v2
by Kirstin Peters 06 Mar '09

06 Mar '09

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

1 0

German Chapter CONCUR - v2
by Kirstin Peters 02 Mar '09

02 Mar '09

Sehr geehrte Workshop-TeilnehmerInnen, wir möchten alle teilnehmenden Doktoranden daran erinnern, eine kurze (max. 5 min.) Selbstdarstellung vorzubereiten. Dies betrifft auch die Doktoranden, die keine Session leiten. Außerdem möchten wir hiermit um die Einsendung der noch fehlenden Abstrakts bitten. Das angefügte Dokument enthält die Agenda des Workshops. Freundliche Grüße, Kirstin Peters

1 0

German Chapter CONCUR - v2
by Kirstin Peters 25 Feb '09

25 Feb '09

Sehr geehrte Workshop-TeilnehmerInnen, in dem begefügten Dokument finden sie eine vorläufige Agenda zum geplanten Workshop sowie die aktuelle Teilnehmerliste. Wir bitten alle Leiter einer Session uns die noch fehlenden Titel und Abstracts zuzusenden. Fragen, Anregungen oder Änderungswünsche zur Agenda nehmen wir gerne entgegen. Freundliche Grüße, Kirstin Peters

1 0