Gesellschaft für Informatik e.V.

Einladung zum fünften Jahrestreffen der Fachgruppe "Formale Methoden und Software Engineering für Sichere Systeme" (FoMSESS)

Das FoMSESS-Jahrestreffen findet am 4. und 5. Juni 2007 am Deutschen Forschungszentrum für Künstliche Intelligenz in Saarbrüchen statt.

Ziel der Fachgruppe ist es, in der Computer- und Informationssicherheit ein Diskussionsforum im deutschsprachigen Raum zu bieten, das sich mit der Grundlagenforschung und Anwendung formaler und mathematisch präziser Techniken im Software-Engineering beschäftigt. Dabei ist Sicherheit sowohl im Sinne von Safety wie auch im Sinne von Security zu verstehen.

• eingeladene Vorträge,
• eingeladene Tutorials,
• Fachvorträge, in denen über konkrete Arbeits- und Forschungsergebnisse berichtet wird,
• Übersichtsvorträge, die das Profil einzelner Arbeitsgruppen beschreiben.

Die Teilnahme steht allen Interessierten offen.

Wie schon bei den vorangegangenen Treffen soll allen Interessierten Gelegenheit gegeben werden, ihre Arbeiten vorzustellen. Anmeldungen zu Vorträgen werden bis zum 30.4.2007 erbeten. Auch Vorschläge für Tutorials oder eingeladene Vorträge sind willkommen.

Alle Informationen zu dem Jahrestreffen sind unter http://www.dfki.de/fomsess07/ zu finden. Diese Seite wird (hoffentlich) regelmäßig aktualisiert.

Zur Einreichung von Vortragsvorschlägen oder Fragen benutzen Sie bitte die Email-Adresse fomsess@dfki.de