- 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

2 Stellen als WiMi an TU Berlin
by Uwe Nestmann 27 Feb '13

27 Feb '13

Liebe D-CONs, ( – in eigener Sache – ) ich hatte vergessen, das frühzeitig an diese Liste weiterzugeben: wir besetzen in meiner eigenen Gruppe gerade 2 Stellen als WiMi, natürlich "mit Gelegenheit zur Promotion". http://www.personalabteilung.tu-berlin.de/fileadmin/abt6/archiv/Stellenauss… Frist ist 3.3., also kommender Sonntag. Idealer Beginn dann schon zum 1.4. … ;-) Beste Grüße, == Uwe ==

1 0

Deadline Extension: Ensuring Safety in Industrial Critical Systems (ESICS) at IEEE INDIN 2013
by Stefan Rieger 18 Feb '13

18 Feb '13

Dear all, the deadline extension for our special session "Ensuring Safety in Industrial Critical Systems" at the IEEE INDIN Conference ( www.indin2013.org) has been confirmed. The new paper submission deadline is now the 14th of March. Attached you find the updated Call for Papers. Kind regards i.A. Stefan Rieger Innovation Management ----------------------------------------------------------------- Dr. Stefan Rieger R&D Manager R&D Projects TWT GmbH Science & Innovation Bernhäuser Straße 40-42 D-73765 Neuhausen Tel.: +49 7158 1715-653 ----------------------------------------------------------------- stefan.rieger(a)twt-gmbh.de http://www.twt-gmbh.de ----------------------------------------------------------------- Geschäftsführung: Dimitrios Vartziotis, Joachim Laicher (Stv.), Frank Beutenmüller (Stv.) Registergericht: Amtsgericht Stuttgart, HRB Nr. 212778 Umsatzsteuer: ID-Nr.: DE147841145

1 0

Call for Papers: Ensuring Safety in Industrial Critical Systems (ESICS) at IEEE INDIN 2013
by Stefan Rieger 18 Feb '13

18 Feb '13

Dear all, we are organising a special session "Ensuring Safety in Industrial Critical Systems" at the IEEE INDIN Conference (www.indin2013.org) taking place on July 29-31, 2013 in Bochum (Germany). The call for papers is supplied in the attached PDF file (it is also available at the conference site). In short: Paper submission deadine: 28/2/2013 Notification of acceptance: 19/4/2013 Papers should have a size of at most 6 pages and be using the IEEE template. The workshop will be focusing on (but is not limited to) the following topics: * Approaches to the design of safe E/E systems * Validation & verification of safety-critical systems * Industrial case studies * Development of certifiable E/E systems * Tools for ensuring safe E/E systems * Formal Methods and formalization of requirements * Model-checking, model-based testing and test case generation We are aware of the fact that there is only two weeks left to prepare a paper and are grateful for contributions. We are working towards a deadline extension, but it cannot be guaranteed. Kind regards i.A. Stefan Rieger Innovation Management ----------------------------------------------------------------- Dr. Stefan Rieger R&D Manager R&D Projects TWT GmbH Science & Innovation Bernhäuser Straße 40-42 D-73765 Neuhausen Tel.: +49 7158 1715-653 ----------------------------------------------------------------- stefan.rieger(a)twt-gmbh.de http://www.twt-gmbh.de ----------------------------------------------------------------- Geschäftsführung: Dimitrios Vartziotis, Joachim Laicher (Stv.), Frank Beutenmüller (Stv.) Registergericht: Amtsgericht Stuttgart, HRB Nr. 212778 Umsatzsteuer: ID-Nr.: DE147841145

1 0

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 16 Jan '13

16 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 08 Jan '13

08 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

FORTE / FMOODS 2013 -- CfP -- IFIP International Conference on Formal Techniques for Distributed Systems
by Dirk Beyer 05 Dec '12

05 Dec '12

------------------------------------------------------------------------------ FORTE / FMOODS 2013 IFIP International Conference on Formal Techniques for Distributed Systems joint international conference 33rd Formal Techniques for Networked and Distributed Systems 15th Formal Methods for Open Object-Based Distributed Systems June 3-6, 2013, Florence, Italy http://forte13.sosy-lab.org/ Abstract submission deadline: February 4, 2013 ------------------------------------------------------------------------------ OBJECTIVES AND SCOPES The 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS) is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The joint conference is the result of merging the conference FMOODS (Formal Methods for Open Object-Based Distributed Systems) and FORTE (Formal Techniques for Networked and Distributed Systems). FORTE/FMOODS 2013 is part of the DiScoTec 2013 event (see http://www.discotec.org/). The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of: - component- and model-based design - object technology, modularity, software adaptation - service-oriented, ubiquitous, pervasive, grid, cloud, and mobile computing systems - product-line-based systems - software quality, reliability, availability, and safety - security, privacy, and trust in distributed systems - adaptive distributed systems, self-stabilization, self-healing/organizing - verification, validation, formal analysis, and testing of the above. The conference encourages contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems. FORTE / FMOODS covers distributed computing models and formal specification, testing and verification methods. The application domains include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real time systems, as well as networking and communication security and reliability. Topics of interest include but are not limited to: - Languages and Semantic Foundations: new modeling and language concepts for distribution and concurrency, semantics for different types of languages, including programming languages, modeling languages, and domain specific languages; real-time and probability aspects; type systems and behavioral typing; - Formal Methods and Techniques: design, specification, analysis, verification, validation, testing and runtime verification of various types of distributed systems including communications and network protocols, service-oriented systems, and adaptive distributed systems; - Foundations of Security: new principles for qualitative and quantitative security analysis of distributed systems, including formal models based on probabilistic concepts; - Applications of Formal Methods: applying formal methods and techniques for studying quality, reliability, availability, and safety of distributed systems; - Practical Experience with Formal Methods: industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems. PUBLICATION AND SUBMISSIONS The FORTE/FMOODS 2013 conference calls for high-quality papers presenting research results and/or application reports related to the research areas in conference scope. Like in the past, the conference proceedings will be published by Springer in the LNCS Series. Proceedings will be made available at the conference. All papers must be original, unpublished, and not submitted for publication elsewhere. Contributions should be submitted electronically in PDF via the EasyChair system at the following address: http://forte13.sosy-lab.org/submit.php Each paper will undergo a peer review of at least 3 anonymous reviewers. The papers must be prepared using Springer's LNCS style (see http://www.springer.de/comp/lncs/authors.html). Papers must not exceed 15 pages in length, including figures and references. Submissions not adhering to the above specified constraints may be rejected immediately, without review. IMPORTANT DATES Title and abstract must be submitted before the paper. Time of all deadlines is 24:00 Samoa Standard Time (UTC-11). Abstracts February 4, 2013 Papers February 11, 2013 Notification March 18, 2013 Camera-Ready March 25, 2013 Conference June 3-6, 2013 PROGRAM COMMITTEE CO-CHAIRS - Dirk Beyer, Faculty of Computer Science and Mathematics University of Passau, Germany - Michele Boreale, Dipartimento di Statistica, Informatica, Applicazioni University of Florence, Italy PROGRAM COMMITTEE Sven Apel, Passau Saddek Bensalem, VERIMAG Griès Dirk Beyer (co-chair), Passau Michele Boreale (co-chair), Florence Tevfik Bultan, Santa Barbara Luis Caires, Universidade Nova Lisbon Mariangiola Dezani-Ciancaglini, Torino Juergen Dingel, Queen's University Ontario Simon Gay, Glasgow Holger Giese, Potsdam Kim Guldstrand Larsen , Aalborg Arie Gurfinkel, Carnegie Mellon Matthew Hennessy, Trinity College Dublin Paola Inverardi, L'Aquila Alan Jeffrey, Bell Labs Joost-Pieter Katoen, Aachen Vladimir Klebanov, Karlsruhe Axel Legay, IRISA/INRIA Rennes Matteo Maffei, Saarland Uwe Nestmann, TU Berlin Mauro Pezzè, Milano Bicocca and Lugano Corneliu Popeea, TU München Sophie Quinton, TU Braunschweig Jan Rutten, CWI Amsterdam Geoffrey Smith, Florida International Jaco Van De Pol, Twente Helmut Veith, Vienna University of Technology Martin Wirsing, Ludwig-Maximilians-Universität München Nobuko Yoshida, Imperial College London Gianluigi Zavattaro, Bologna INFO - FMOODS/FORTE 2013: http://forte13.sosy-lab.org/ - DisCoTec 2013: http://www.discotec.org/ ----------------------------------------------------------------------------------------

1 0