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

DCON 2011: Anmeldung und Themenvorschläge
by Markus Mueller-Olm 31 Jan '11

31 Jan '11

Liebe Freunde und Kollegen, In die Mailadresse von Frau Giesbert in der Einladungsmail zu DCON 2011 hat sich ein Tippfehler eingeschlichen. Sie heißt richtig: giesbec(a)math.uni-muenster.de Ich möchte deshalb alle, deren Anmeldung bzw. Themenvorschlag bisher noch nicht von Frau Giesbert bestätigt wurde, bitten, Anmeldung und/oder Themenvorschlag erneut an die korrekte Adresse zu schicken und zwar möglichst bis: Mittwoch abend dieser Woche (2.2.2011) Natürlich nehmen wir auch gerne noch weitere Anmeldungen und Themenvorschläge entgegen. Bisher haben nur wenige Gruppen überhaupt Themenvorschläge geschickt. Viele Grüße, Markus Müller-Olm -- 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

1 0

DCON 2011: Planung und Themenvorschläge
by Markus Mueller-Olm 12 Jan '11

12 Jan '11

Liebe Freunde und Kollegen, zunächst möchten wir allen ein frohes neues Jahr wünschen! Es ist an der Zeit, einige Vorbereitungen für DCON 2011 zu treffen. In dieser Mail möchten wir über unsere bisherigen Überlegungen berichten, Euch die notwendigen Informationen an die Hand geben und Euch bitten: 1) Vorschläge zu möglichen Themensitzungen zu schicken, Deadline: Freitag, 28.1.2011. 2) Euch frühzeitig zu D-CON 2011 anzumelden, Deadline: Freitag, 4.2.2011. 3) Euch rechtzeitig um die Unterkunft zu kümmern, Deadline: ab 25.1.2011, je nach Hotel (siehe unten). 4) Bei all diesen Dingen die angegebenen Deadlines zu beachten! Details dazu findet Ihr im Rest dieser Mail. Wir werden die Teilnehmer wieder um einen Kostenbeitrag bitten, voraussichtlich in der Höhe von etwa 30 Euro. =========================== TERMIN, ANREISE, TAGUNGSORT =========================== Wie Mitte letzten Jahres schon angekündigt, wird D-CON 2011 bei uns in Münster stattfinden: DCON 2011 3.-4. März 2011 Alexander-von-Humboldt-Haus, Hüfferstrasse 61 48149 Münster Die Anreise sollte am Tag zuvor erfolgen. Wir werden wieder Lokale für ein gemeinsames informelles Abendessen am 2.3. und ein Workshop-Dinner am 3.3. reservieren. Das Treffen wird voraussichtlich am Freitag, 4.3., nach dem Mittagessen enden. ====== ABLAUF ====== Wir wollen den informellen Charakter des Treffens beibehalten und uns im Ablauf an den vorherigen Treffen in Berlin und Bamberg orientieren. Neben Plenumssitzungen wird es also wohl wieder (möglicherweise parallele) Themensitzungen (von ca. 60-minütiger Dauer) geben, die von Doktoranden vorgeschlagen und geleitet werden, und mindestens einen eingeladenen Vortrag. Wie in Bamberg würden wir die Auswahl der Themensitzungen gerne im voraus treffen. Deshalb bitten wir schon jetzt um Themenvorschläge. =============== THEMENSITZUNGEN =============== Zur Idee und dem Inhalt der Themensitzungen zitieren wir aus der Mail vom letzten Jahr von Gerald und Michael: Nach unserer momentanen Planung werden wir 8-10 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 Freitag, 28.1.2011, an das Sekretariat der Arbeitsgruppe Softwareentwicklung und Verifikation: Frau Claudia Giesbert email: giesbec(a)math.uni-munester.de Tel: 0251 83-33792 ======================== ANMELDUNG UND UNTERKUNFT ======================== Deadline für die Anmeldung ist Freitag, der 4.2.2011. Bitte meldet Euch möglichst bald an, das erleichtert uns die weitere Planung. Bitte schickt Eure Anmeldung mit den üblichen Daten (Name, Affiliation, Email, Ankunftstag+Zeit falls bekannt, Abreisetag+Zeit falls bekannt) per Email an Frau Giesbert. Bitte vermerkt in der Anmeldung auch, ob Ihr am informellen Abendessen am 2.3.2011 teilnehmen wollt. Wir haben in einigen Hotels Zimmerkontingente zu günstigen Konditionen reserviert. Bitte gebt bei der Buchung das Kennwort "DCON 2011" an, um in den Genuss der speziellen Konditionen zu kommen, und bucht die Hotels möglichst bald, da wir die Zimmer nur bis zu den jeweils angegebenen Terminen reserviert haben. Alle Hotels sind innenstadtnah. Das Humboldt-Haus ist zu Fuß in etwa 15-20 Minuten zu erreichen. Vom Stadthotel und vom Centralhotel gibt es auch eine Busverbindung (Linien 11, 12, 13, 22 von der Haltestelle Aegidiimarkt zur Haltestelle Jungeblodtplatz; Fahrzeit ca. 5 Min; Fahrplanauskunft: http://www.stadtwerke-muenster.de/fahrgaeste.html). Für weitere Fragen zur Unterkunft steht Frau Giesbert gerne zur Verfügung (Mo-Do, vormittags). Hier die Liste der reservierten Hotels: - Hotel Überwasserhof 10 DZ zur Einzelbelegung reserviert für 85 Euro inkl. Frühstück bis zum 25.01.2011, Kennwort DCON 2011. Tel: 0251-4177-0 http://www.ueberwasserhof.de/ - Stadthotel, Aegidiistr. 21, 20 EZ inkl. Frühstück für 77 Euro reserviert bis zum 2.2.2011, Kennwort DCON 2011. Tel: 0251 / 4812-0 http://www.stadthotel-muenster.de/ - Centralhotel, Aegidiistr. 1, 8-10 EZ inkl. Frühstück für 79,50 reserviert bis zum 2.2.2011, Kennwort DCON 2011. Tel: 0251-51015-0 http://www.central-hotel-muenster.de/ Soviel für den Moment zu DCON 2011. Wir wünsche Euch einen guten Start in das Jahr 2011 und freuen uns darauf, bald von Euch zu hören. Mit besten Grüßen, Markus Müller-Olm (im Namen der Münsteraner Arbeitsgruppe)

1 0

Erinnerung: CONCUR 2011 - Call for affiliated workshops
by Mathias Hülsbusch 12 Oct '10

12 Oct '10

Hallo nochmal, In ein paar Tagen läuft die Frist für Workshop-Bewerbungen für CONCUR2011 aus. Darum hier nochmal der CFW als Erinnerung. Viele Grüße aus Duisburg, Mathias Hülsbusch * CONCUR 2011 * Call for affiliated workshops The 22nd Conference on Concurrency Theory (CONCUR 2011) will be held September 6th - September 9th, 2011, in Aachen, Germany. It will co-locate with the 8th Conference on Quantitative Evaluation of SysTems (QEST) 2011, and the 6th Workshop on Trustworthy Global Computing (TGC). Researchers and practitioners are invited to submit proposals for workshops to be affiliated to CONCUR 2011, on topics related to concurrency theory and its applications. Example topics include: semantics, logics, verification techniques for concurrent systems, and cross-fertilization between industry and academia. Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, such as formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, and verification methods. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on Monday, September 5th and Saturday, September 10th, 2011. CONCUR 2011 takes place from September 6-9; QEST from September 6-8, and TGC on September 9+10. Proposals should include: * The name and the preferred date of the proposed workshop. * A very brief cv of the chairperson(s) or a link to some web page including such information. * A short scientific summary of the topic, its scope and significance, including a discussion on the relation with CONCUR topics. * If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. * Procedures for selecting papers and/or talks, plans for dissemination (for example, proceedings and special issues of journals), and the expected number of participants. Important Dates: Workshop proposals due: Monday, October 18th, 2010 Notification of acceptance: Wednesday, November 10th, 2010 Workshops: September 5th, 2011 and September 10th, 2011 Submissions to: concur-ws(a)inf.uni-due.de The CONCUR organization offers: * Link from the CONCUR web site. * Setup of meeting space, and related equipment. * Coffee-breaks. * On-line and on-site registration to the workshop. The main responsibility of organizing a workshop goes to the workshop chairperson(s), including: * Workshop publicity (possibly including call for papers, submission and review process). * Scheduling workshop activities in collaboration with the CONCUR workshop chairs. For more information, please refer to the CONCUR 2011 website http://concur2011.rwth-aachen.de or contact us via concur-ws(a)inf.uni-due.de. The CONCUR 2011 workshop chairs, H.J. Sander Bruggink (sander.bruggink(a)uni-due.de) Mathias Hülsbusch (mathias.huelsbusch(a)uni-due.de)

1 0

CONCUR 2011 - Call for affiliated workshops
by Mathias Hülsbusch 16 Aug '10

16 Aug '10

* CONCUR 2011 * Call for affiliated workshops The 22nd Conference on Concurrency Theory (CONCUR 2011) will be held September 6th - September 9th, 2011, in Aachen, Germany. It will co-locate with the 8th Conference on Quantitative Evaluation of SysTems (QEST) 2011, and the 6th Workshop on Trustworthy Global Computing (TGC). Researchers and practitioners are invited to submit proposals for workshops to be affiliated to CONCUR 2011, on topics related to concurrency theory and its applications. Example topics include: semantics, logics, verification techniques for concurrent systems, and cross-fertilization between industry and academia. Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, such as formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, and verification methods. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on Monday, September 5th and Saturday, September 10th, 2011. CONCUR 2011 takes place from September 6-9; QEST from September 6-8, and TGC on September 9+10. Proposals should include: * The name and the preferred date of the proposed workshop. * A very brief cv of the chairperson(s) or a link to some web page including such information. * A short scientific summary of the topic, its scope and significance, including a discussion on the relation with CONCUR topics. * If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. * Procedures for selecting papers and/or talks, plans for dissemination (for example, proceedings and special issues of journals), and the expected number of participants. Important Dates: Workshop proposals due: Monday, October 18th, 2010 Notification of acceptance: Wednesday, November 10th, 2010 Workshops: September 5th, 2011 and September 10th, 2011 Submissions to: concur-ws(a)inf.uni-due.de The CONCUR organization offers: * Link from the CONCUR web site. * Setup of meeting space, and related equipment. * Coffee-breaks. * On-line and on-site registration to the workshop. The main responsibility of organizing a workshop goes to the workshop chairperson(s), including: * Workshop publicity (possibly including call for papers, submission and review process). * Scheduling workshop activities in collaboration with the CONCUR workshop chairs. For more information, please refer to the CONCUR 2011 website http://concur2011.rwth-aachen.de or contact us via concur-ws(a)inf.uni-due.de. The CONCUR 2011 workshop chairs, H.J. Sander Bruggink (sander.bruggink(a)uni-due.de) Mathias Hülsbusch (mathias.huelsbusch(a)uni-due.de)

1 0

Termin für DCON 2011
by Markus Mueller-Olm 18 Jun '10

18 Jun '10

Liebe Kollegen und Freunde, vielen Dank an alle, die sich an unserer DOODLE-Umfrage beteiligt haben. Aus den Antworten ergibt sich eindeutig ein bester Termin für DCON 2011. Also bitte gleich den Terminkalender zur Hand nehmen und notieren: DCON 2011 3.-4. März 2011 Alexander-von-Humboldt-Haus, Hüfferstrasse 61 48149 Münster Bitte reserviert ggf. auch schon Zeit für die Anreise am Tag davor, da wir am 3. März gleich morgens beginnen möchten. Voraussichtlich wird DCON am Freitag, dem 4. März, nach dem Mittagessen enden. Für die weitere Planung ist es noch zu früh. Wir werden uns zu gegebener Zeit dann wieder melden. Beste Grüße aus Münster, Markus (Müller-Olm) -- 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

1 0

Termin für D-CON 2011 in Münster
by Markus Mueller-Olm 27 May '10

27 May '10

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

1 0

Webseite
by kirstin.peters＠mailbox.tu-berlin.de 08 Mar '10

08 Mar '10

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

1 0

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