Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


INHALT & PFAD:
Startseite Detail

Bild: Zum Thema ''

12. Jahrestreffen der GI-Fachgruppe "Formale Methoden und Software Engineering für Sichere Systeme" (FoMSESS)



Datum: 24.03.2015 - 25.03.2015

Ort: MZH Senatssaal



[ Fachgruppen-Webseite ]

Im Auftrag des Informatik-Kolloquiums möchten wir Sie auf folgende
Veranstaltung aufmerksam machen:

12. Jahrestreffen der GI-Fachgruppe
"Formale Methoden und Software Engineering für Sichere Systeme" (FoMSESS)

u.a. mit Vorträgen über Bremer Arbeiten im Bereich formaler Sicherheit
und einer Panel-Diskussion zur Sicherheit von Open Software.



Zielsetzung dieser Fachgruppe ist es, im Bereich Computer- und Informationssicherheit ein Diskussionsforum im deutschsprachigen Raum zu bieten, das sich mit der Grundlagenforschung und Anwendung formaler oder mathematisch präziser Techniken im Software-Engineering beschäftigt. Von Interesse für die FG ist Sicherheit im Sinne sowohl von Safety als auch von Security.

Das Jahrestreffen dient zum informellen Austausch zu aktuellen Forschungsfragen auf diesem Gebiet. Es bietet (insbesondere für jüngere Nachwuchswissenschaftler) eine einmalige Gelegenheit zur Präsentation ihrer aktuellen und laufenden Arbeiten.

Zum Programm: http://www.dfki.de/fomsess




Ansprechartner(in) Extern:
Prof. Dr. Dieter Hutter




zurück  

Seitenanfang  -  Impressum Zuletzt geändert durch: jungmann [b]   17.03.2015 Admin-Login