Einladung zum sechsten Jahrestreffen der Fachgruppe "Formale Methoden und Software Engineering für Sichere Systeme" (FoMSESS)
Das sechste Jahrestreffen der GI-Fachgruppe "Formale Methoden und
Software Engineering für Sichere Systeme (FoMSESS)" im Fachbereich
Sicherheit der Gesellschaft für Informatik (GI) findet am 27. und
28. März 2008 an der Technischen Universität Darmstadt statt.
Ziel der Fachgruppe ist es, ein Diskussionsforum im deutschsprachigen
Raum zu Themen der Computer- und Informationssicherheit zu bieten, das
sich mit der Grundlagenforschung und Anwendung formaler Techniken im
Software-Engineering beschäftigt. Dabei ist Sicherheit sowohl im
Sinne von Safety als auch im Sinne von Security gemeint.
Das Programm des Jahrestreffen wird bestehen aus:
- zwei eingeladenen Vorträgen (siehe unten),
- ausgewählten Fachvorträgen, in denen über konkrete Arbeits- und Forschungsergebnisse der FoMSESS Mitglieder berichtet wird,
- Übersichtsvorträgen, die das Profil einzelner Arbeitsgruppen beschreiben.
In diesem Jahr konnten die Fachgruppenleitung und der Organisator die folgenden Redner für eingeladene Vorträge gewinnen:
- Dr. Jorge Cuéllar, Siemens AG
- Prof. Dr.-Ing. Gregor Snelting, Universität Karlsruhe
Für die weitere Ausgestaltung des fachlichen Programms wird hiermit um
die Einsendung von Angeboten für Fach- und Übersichtsvorträge gebeten.
Die Vorschläge sollten möglichst innerhalb von drei Wochen unter
http://www.mais.informatik.tu-darmstadt.de/FoMSESS2008/anmeldung.php
abgegeben werden. Bei einer Verknappung der Vortragstermine wird die
Reihenfolge der Einsendung berücksichtigt werden.
Die Teilnahme steht allen Interessierten offen; für die Teilnahme wird, wie in den Vorjahren, ein geringer Unkostenbeitrag vor Ort erhoben.
Termine:
- Vortragsvorschläe: bis 29.2.2008
- Anmeldung zur Teilnahme: bis 10.03.2008
- Jahrestagung: 27.03.2008 - 28.03.2008
Anmeldung zur Tagung, Anmeldung von Vorträgen sowie weitere Informationen (zu Übernachtungsmöglichkeiten, Anreise, ...) unter http://www.mais.informatik.tu-darmstadt.de/FoMSESS2008/.
Informationen zur Fachgruppe unter http://computing-research.open.ac.uk/jj/fomsess/index.html.
Organisator:
Prof. Dr. Heiko Mantel
Fachgebiet Theoretische Informatik - FMIS
Technische Universität Darmstadt
Bis bald in Darmstadt!
|