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)
Organisation und Kontakt
Prof. Dr. Bernhard BeckertKarlsruher Institut für Technologie
Institut für Theoretische Informatik
Tel.: 0721 608-44025
Email: beckert@kit.edu Prof. Dr. Gregor Snelting
Karlsruher Institut für Technologie
Institut für Institut für Programmstrukturen und Datenorganisation
Tel.: 0721 608-44760
Email: snelting@kit.edu