Gesellschaft für Informatik e.V.

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.

• 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!