Gesellschaft für Informatik e.V.

Jahrestreffen 2007

Das fünfte Jahrestreffen der GI-Fachgruppe FoMSESS 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.

Im Programm der Jahrestreffen:

• eingeladene Vorträge
• 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. Ein Tagungsbeitrag wird nicht erhoben. Eine formale Registrierung zur Tagung ist daher nicht nötig, zur Planung des Abendessens ist aber eine informelle Nachricht über die geplante Teilnahme erwünscht.