D-CON

d-con@lists.rwth-aachen.de

321 Diskussionen

MOD 2013

von Helmut Seidl

Our next edition of the *International Summer School Marktoberdorf 2013* on *Software Systems Safety* is ready for application from now and by *March 11, 2013* at the latest. *Lecturers* are Patrice Godefroid (USA), Orna Grumberg (IL), Sumit Gulwani (USA), Gerwin Klein (AUS), Marta Kwiatkowska (UK), Ralf Küsters (D), Rupak Majumdar (D), Sharad Malik (USA), Tobias Nipkow (D), David Sands (S), Helmut Seidl (D), Eran Yahav (IL) The "Marktoberdorf Summer School" is a two weeks' course for young computer scientists and mathematicians working in the field of formal software and systems development. Our challenge is to give in-depth presentations of state-of-the-art topics in formal Software Engineering and to promote international contacts and collaborations with leading researchers and young scientists based on our excellent networking in the Summer School Marktoberdorf series. Further information with lecturer's topics and the application form are available by http://asimod.in.tum.de/ Do you have further questions or are you interested in our poster and flyer, please don't hesitate to contact: Dr. Katharina Spies, asimod(a)in.tum.de -- Dr. Katharina Spies ** executive director -- Summer School Marktoberdorf ** http://asimod.in.tum.de | mailto: asimod(a)in.tum.de Technische Universitaet Muenchen Fakultaet fuer Informatik Boltzmannstr. 3 D-85748 Garching (Muenchen) / Germany Tel. / Fax: ++49-89-289-17829 / -17824 Summer School Marktoberdorf is mainly supported as "NATO Advanced Study Institute"

11 Jahre, 1 Monat

Stand zur Einrichtung einer GI-Fachgruppe

von Uwe Nestmann

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 ==

11 Jahre, 1 Monat

2 Stellen als WiMi an TU Berlin

von Uwe Nestmann

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 ==

11 Jahre, 2 Monate

Deadline Extension: Ensuring Safety in Industrial Critical Systems (ESICS) at IEEE INDIN 2013

von Stefan Rieger

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

11 Jahre, 2 Monate

Call for Papers: Ensuring Safety in Industrial Critical Systems (ESICS) at IEEE INDIN 2013

von Stefan Rieger

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

11 Jahre, 2 Monate

D-CON 2013 in Lübeck: Zweiter Aufruf

von Normann Decker

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

11 Jahre, 3 Monate

Benennung … Endspurt

von Uwe Nestmann

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 ==

11 Jahre, 3 Monate

Re: [D-CON] D-CON Digest, Vol 33, Issue 7

von Kirstin Peters

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 _________________________________________________________

11 Jahre, 3 Monate

Stelle als wissenschaftlicher Mitarbeiter (Doktorandenstelle)

von Alexander Heußner

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

11 Jahre, 3 Monate

D-CON 2013 in Lübeck: CfP

von Martin Leucker

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

11 Jahre, 3 Monate

Springe zur Seite:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON