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

Stand zur Einrichtung einer GI-Fachgruppe
by Uwe Nestmann 05 Mar '13

05 Mar '13

Liebe D-CONs, wo die Liste gerade wieder zum Leben erweckt wurde, hier der Stand zur Frage der Einrichtung einer GI-Fachgruppe. Ich hatte beim letzten Treffen in Kaiserslautern den Auftrag bekommen, das voranzutreiben. Zum Überblick über die GI-Strukturen ist http://www.gi.de/gliederungen/fachbereiche.html nützlich. Mein Kontakt ist nicht zuletzt nach Vermittlung durch Joost-Pieter Katoen der Sprecher des Fachbereiches "Grundlagen der Informatik", Wolfgang Thomas (WT). http://fb-ginf.gi.de/ Nach meiner Schilderung unserer bisherigen Aktivitäten mit den jährlichen Treffen und einer ansatzweisen Webpräsenz haben wir uns laut WT mehr oder weniger vorbildlich für eine Fachgruppe qualifiziert. Wie Ihr auf http://fb-ginf.gi.de/ seht, gibt es potenzielle Überlappungen mit anderen GI-Fachgruppen. WT übernahm die Rolle, bei jenen vorzutasten, ob sie wegen der Überlappungen Einwände gegen eine D-CON-Fachgruppe hätten. Nach zwischenzeitlicher Auskunft durch WT sind keine Probleme/Einwände vorhanden. Was ist also jetzt zu tun? WT meinte: "Die Anbindung scheint mir im Fachausschuss Theoretische Informatik am besten zu sein." http://fb-ginf.gi.de/fachbereich-grundlagen-der-informatik-ginf/fachausschu… Weiter meint WT: "Die Frage hier ist, ob D-CON die damit verbundene Mitgliedschaft im SC von STACS begruesst, moechte, oder davon eher Abstand nimmt." Ich antwortete mit meiner persönlichen Einschätzung, dass wir das eher nicht wollten. (Ich finde auch den Fachausschuss sehr unpassend benannt, wo er lediglich als STACS-Backup dient.) Ich bitte Euch hier um Unterstützung oder auch Gegenrede. WT führt uns mit dem Arbeitstitel "Concurrency and Verifikation". Englisch in der Bezeichnung ist scheinbar kein Problem. Mir selbst würde "Concurrency Theory" besser gefallen, zum einen wegen der Verbindung zu CONCUR, wo D-CON im wesentlichen geboren wurde, zum anderen wegen der Entsprechung zur IFIP WG-1.8 gleichen Namens. Ich bitte Euch auch hier um Unterstützung oder auch Gegenrede. Nach Auskunft gibt es am 2.3.2013 eine Sitzung des "Leitungsgremiums", direkt nach der STACS (Kiel). Dort soll eine Entscheidung zur Einrichtung der Fachgruppe fallen, "wenn es vorher nicht schriftlich gelungen ist". Dies findet also vor unserem Treffen in Lübeck statt, so dass wir uns vorher nicht nochmals in persona im großen Kreis besprechen können. Aber eigentlich können wir uns auch über diese Liste austauschen, sofern nötig. Soweit der Stand, == Uwe ==

15 28

D-CON 2013 in Lübeck: Zweiter Aufruf
by Normann Decker 28 Jan '13

28 Jan '13

Liebe Kollegen, wir möchten Euch herzlich zur D-CON 2013 nach Lübeck einladen. Alle Informationen finden sich auch auf der Internetseite des Workshops: http://www.isp.uni-luebeck.de/dcon13 Termin und Rahmen ================= Der Workshop findet am 07. und 08. März 2013 an der Universität zu Lübeck Ratzeburger Allee 160 Gebäude 64, Räume 3.014 (Banach) und 3.015 (Hilbert) 23562 Lübeck statt. Wir beginnen Donnerstagmorgen, sodass sich eine Anreise am 6. März anbietet. Wie beim letzten mal haben wir für die Abende des Anreise- und des ersten Konferenztages (6. und 7. März) informelle Abendessen geplant. Außerdem hören wir einen eingeladenen Vortrag von Kim Larsen, Aalborg University, Denmark Themensitzungen =============== Im Mittelpunkt der D-CON stehen Themensitzungen, deren Inhalt und Form von den Doktoranden gestaltet werden. Für die Sitzungen sind 60 Minuten geplant, Vorträge sollten eine Dauer von 45 Minuten nicht überschreiten, damit für anschließende Diskussionen ausreichend Zeit bleibt. Abhängig von der Zahl der Vorschläge werden parallele Sitzungen stattfinden. Wie im letzten Jahr können, je nach Wunsch der Teilnehmer, auch Vorträge auf Englisch angeboten werden. Bitte schickt Vorschläge zu Themensitzungen an Frau Hedwig Hellkamp <hellkamp(a)isp.uni-luebeck.de> bis 06. Februar 2013. Bitte gebt an, ob Ihr bereit seid, Eure Vorträge auf Englisch bzw. Deutsch zu halten. Anmeldung ========= Um Euch zur D-CON anzumelden, schickt bitte ebenfalls bis zum 6. Februar 2013 eine E-Mail an Frau Hedwig Hellkamp <hellkamp(a)isp.uni-luebeck.de>. Sie sollte folgende Informationen enthalten: * Name, * Institution * Ankunftstag und * ob ein Vortrag gehalten werden soll. Wenn ja, dann: ** Thema der Sitzung bzw. ** Titel und Zusammenfassung des Vortrags, und ** Sprache des Vortrags (deutsch, englisch, egal) Ein Kostenbeitrag von 45,- Euro wird erhoben. Darin sind zwei Mittagessen sowie Kaffeepausen enthalten. Der Teilnahmebeitrag sollte vorab überwiesen werden. Details bekommt Ihr in Eurer Antwortmail zur Anmeldung. Unterkunft ========== Informationen zu zu Übernachtungsmöglichkeiten findet Ihr auf der Internetseite (s. oben). Das genaue Programm werden wir aus den vorgeschlagenen Themensitzungen zusammenstellen und im Vorfeld der Konferenz bekannt geben. Wir würden uns freuen, Euch im März in Lübeck begrüßen zu können. Beste Grüße Martin Leucker -- ------------------------------------------------------------------------ | Martin Leucker | | Institute for Software Engineering and Programming Languages | | University of Luebeck | | Germany | ------------------------------------------------------------------------ | Tel.: +49/451/500 5551 | Email: leucker(a)isp.uni-luebeck.de | | Fax: +49/451/500 5552 | Web: http://www.isp.uni-luebeck.de | ------------------------------------------------------------------------

1 0

Benennung … Endspurt
by Uwe Nestmann 25 Jan '13

25 Jan '13

Liebe CONCURrenten, hier ein Screenshot zum Stand der aktuellen Umfrage: Mit Bitte um mehr/finale Beteiligung. Anfang nächster Woche hätte ich das eigentlich gerne vom Tisch. ;-) == Uwe ==

1 0

Re: [D-CON] D-CON Digest, Vol 33, Issue 7
by Kirstin Peters 25 Jan '13

25 Jan '13

Hallo, ich möchte die Diskussion nicht weiter anheizen, indem ich eine zusätzliche Option ins Spiel bringe. Aber was wäre eigentlich mit dem Namen "Concurrency"? Soweit ich das verstanden habe soll die Fachgruppe in den Bereich "Theoretische Informatik" eingruppiert werden, so dass das "Theory" im Namen nicht unbedingt notwendig wäre. Oder? Und wenn sich einige Gruppen damit besser identifizieren können als mit "Concurrency Theory", was spricht dann dagegen? Ich kann mir natürlich vorstellen, dass "Concurrency" vielleicht einfach zu wenig sprechend für einen Namen für die Gruppe wäre. Das kann ich nicht beurteilen. Viele Grüße, Kirstin -- _________________________________________________________ Dr. Kirstin Peters Technische Universität Berlin Institut für Softwaretechnik und Theoretische Informatik Modelle und Theorie Verteilter Systeme (MTV) Raum TEL 709, Ernst-Reuther-Platz 7, D-10587 Berlin Tel.: +49 30 314-24739 _________________________________________________________

4 3

Stelle als wissenschaftlicher Mitarbeiter (Doktorandenstelle)
by Alexander Heußner 17 Jan '13

17 Jan '13

Hallo, anbei die aktuelle Ausschreibung einer offenen Mitarbeiterstelle am Lehrstuhl Softwaretechnik und Programmiersprachen an der Otto-Friedrich-Universität Bamberg – mit bitte um Aushang/Weiterleitung an mögliche Interessenten. Genauere Details zu möglichen Einstiegspunkten in unsere aktuellen Forschungsprojekte finden sich auf folgender Webseite: http://www.uni-bamberg.de/swt/news/phd-position-in-computer-science/. Ansonsten stehen wir jederzeit für Rückfragen unter info(a)swt-bamberg.de zur Verfügung. Danke im Voraus ! Viele Grüße, Alexander Heußner

1 0

D-CON 2013 in Lübeck: CfP
by Martin Leucker 09 Jan '13

09 Jan '13

Liebe Kollegen, wir möchten euch hiermit herzlich zur D-CON 2013 nach Lübeck einladen. Alle Informationen finden sich auch auf der Internetseite des Workshops: http://www.isp.uni-luebeck.de/dcon13 Termin und Rahmen ================= Der Workshop findet am 07. und 08. März 2013 an der Universität zu Lübeck Ratzeburger Allee 160 Gebäude 64, Räume 3.014 (Banach) und 3.015 (Hilbert) 23562 Lübeck statt. Wir beginnen Donnerstagmorgen, sodass sich eine Anreise am 6. März anbietet. Wie beim letzten mal haben wir für die Abende des Anreise- und des ersten Konferenztages (6. und 7. März) informelle Abendessen geplant. Außerdem hören wir einen eingeladenen Vortrag von Kim Larsen, Aalborg University, Denmark Themensitzungen =============== Im Mittelpunkt der D-CON stehen Themensitzungen, deren Inhalt und Form von den Doktoranden gestaltet werden. Für die Sitzungen sind 60 Minuten geplant, Vorträge sollten eine Dauer von 45 Minuten nicht überschreiten, damit für anschließende Diskussionen ausreichend Zeit bleibt. Abhängig von der Zahl der Vorschläge werden parallele Sitzungen stattfinden. Wie im letzten Jahr können, je nach Wunsch der Teilnehmer, auch Vorträge auf Englisch angeboten werden. Bitte schickt Vorschläge zu Themensitzungen an Frau Hedwig Hellkamp <hellkamp(a)isp.uni-luebeck.de> bis 06. Februar 2013. Bitte gebt an, ob Ihr bereit seid, Eure Vorträge auf Englisch bzw. Deutsch zu halten. Anmeldung ========= Um Euch zur D-CON anzumelden, schickt bitte ebenfalls bis zum 6. Februar 2013 eine E-Mail an Frau Hedwig Hellkamp <hellkamp(a)isp.uni-luebeck.de>. Sie sollte folgende Informationen enthalten: * Name, * Institution * Ankunftstag und * ob ein Vortrag gehalten werden soll. Wenn ja, dann: ** Thema der Sitzung bzw. ** Titel und Zusammenfassung des Vortrags, und ** Sprache des Vortrags (deutsch, englisch, egal) Ein Kostenbeitrag von 45,- Euro wird erhoben. Darin sind zwei Mittagessen sowie Kaffeepausen enthalten. Der Teilnahmebeitrag kann entweder vorab überwiesen oder bar vor Ort bezahlt werden. Details bekommt ihr in Eurer Antwortmail zur Anmeldung. Unterkunft ========== Voraussichtlich werden wir einige Sonderkonditionen anbieten können. Informationen dazu und zu weiteren Übernachtungsmöglichkeiten findet ihr auf der Internetseite (s. oben). Das genaue Programm werden wir aus den vorgeschlagenen Themensitzungen zusammenstellen und im Vorfeld der Konferenz bekannt geben. Wir würden uns freuen, Euch im März in Lübeck begrüßen zu können. Beste Grüße Martin Leucker -- ------------------------------------------------------------------------ | Martin Leucker | | Institute for Software Engineering and Programming Languages | | University of Luebeck | | Germany | ------------------------------------------------------------------------ | Tel.: +49/451/500 5551 | Email: leucker(a)isp.uni-luebeck.de | | Fax: +49/451/500 5552 | Web: http://www.isp.uni-luebeck.de | ------------------------------------------------------------------------

1 0