D-CON

d-con@lists.rwth-aachen.de

323 Diskussionen

CONCUR 2011 - Call for affiliated workshops

von 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)

13 Jahre, 11 Monate

Termin für DCON 2011

von Markus Mueller-Olm

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

14 Jahre, 1 Monat

Termin für D-CON 2011 in Münster

von Markus Mueller-Olm

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

14 Jahre, 1 Monat

Webseite

von kirstin.peters＠mailbox.tu-berlin.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

14 Jahre, 4 Monate

D-CON 2010 Themenauswahl, Bitte um Anmeldung, Info zum Programm

von Michael Mendler

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/

14 Jahre, 5 Monate

D-CON 2010: Neuer Themenvorschlag ist online

von Michael 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/

14 Jahre, 5 Monate

D-CON 2010: Themenvorschläge sind online -- Bitte um Präferenzen

von Michael 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/

14 Jahre, 5 Monate

Themenvorschläge D-CON 2010

von Michael 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/

14 Jahre, 6 Monate

D-CON 2010 Planung + Themenvorschläge

von Michael 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/

14 Jahre, 6 Monate

Termin: D-CON 2010

von Michael 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/

14 Jahre, 8 Monate

Springe zur Seite:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON