Einladung zum Kick-off Meeting Verisoft XT
Unter dem Motto "Verified in Germany" präsentieren wir Ihnen am 17. September Highlights aus dem Bereich formale Verifikation des Designs von Computersystemen.
Herzlich einladen möchten wir Sie zum Kick-off Meeting des vom Bundesministerium für Bildung und Forschung (BMBF) geförderten Projektes Verisoft XT (http://verisoft.de) und zur Übergabe des Abschlussberichts des Vorgängerprojekts Verisoft an das BMBF:
Montag, 17.09.2007
11:00 - 13:00 Uhr
DFKI, Raum Turing
Campus D3_2
Stuhlsatzenhausweg 3
66123 SaarbrĂĽcken
Ein gläsernes BMW-Modell veranschaulicht den schematischen Aufbau eines sicheren automatischen Notrufsystems. Verisoft Mitarbeiter zeigen das Software-Werkzeug VSE (Verification Support Environment), das im Verisoft – Projekt zur Fehlersuche eingesetzt wird. Anhand von Videos wird das Thema Verifikation visualisiert und erklärt.
Die Grußworte zur Veranstaltung sprechen Prof. Dr. Wolfgang Wahlster (Vorsitzender der Geschäftsführung des DFKI), Dr. Christian Ege (Staatssekretär im Ministerium für Wirtschaft und Wissenschaft des Saarlandes) und Dr. Helge Kahler (BMBF).
Die Projektpartner Microsoft, Infineon, T-Systems und der Gesamtprojektleiter Prof. Dr. Wolfgang Paul von der Universität des Saarlandes stellen das Projekt in kompakten Kurzvorträgen vor.
Eine Anfahrtsskizze zum DFKI SaarbrĂĽcken finden Sie unter: http://www.dfki.de/web/kontakt/dfki-saarbruecken.
Bitte melden Sie Ihre Teilnahme an bei Sabine Nermerich: nermerich@cs.uni-saarland.de
FĂĽr RĂĽckfragen steht Ihnen das Team Unternehmenskommunikation des DFKI gerne zur VerfĂĽgung.