Home | Impressum | Sitemap | KIT
Termine

  • bis 15. Mai 2011

    Einreichung von Beiträgen

  • bis 31. Mai 2011

    Entscheidung über Annahme

  • bis 1. Juli 2011

    Einreichung Final Version

  • 4.-7. Okt. 2011

    INFORMATIK 2011

  • 6. Okt. 2011

    DSCI 2011

DSCI 2011

Verlässliche Software für kritische Infrastrukturen /
Dependable Software for Critical Infrastructures

Berlin, 6. Oktober 2011, Workshop bei der INFORMATIK 2011 (4.-7.10.2011)

Programm-Komitee

Bernhard Beckert Karlsruher Institut für Technologie
Gregor Snelting Karlsruher Institut für Technologie
Jens Bohli NEC Labs Europe
Manfred Broy TU München
Schahram Dustdar TU Wien
Bernd Finkbeiner Universität des Saarlandes
Dennis Hofheinz Karlsruher Institut für Technologie
Dieter Hutter DFKI Bremen
Samuel Kounev Karlsruher Institut für Technologie
Rolf H. Möhring TU Berlin
Matthias Müller-Hannemann Universität Halle-Wittenberg
Jörn Müller-Quade Karlsruher Institut für Technologie
Frank Pallas KIT/TU Berlin
Wolfgang Reif Universität Augsburg
Alexander Pretschner Karlsruher Institut für Technologie
Werner Stefan DFKI Saarbrücken
Stefan Tai Karlsruher Institut für Technologie
Karsten Wolf Universität Rostock