GI e.V.

Gesellschaft für Informatik e.V.

Fachgruppe FoMSESS

 

- Formale Methoden und Software Engineering für Sichere Systeme
Formal Methods and Software Engineering for Safety and Security -


Jahrestreffen 2013

Das zehnte Jahrestreffen der GI-Fachgruppe FoMSESS findet am 18. und 19. November 2013 am Fraunhofer ISST statt (Kontakt: Prof. Dr. Jan Jürjens).

Vortragsraum: Schulungsraum, Fraunhofer ISST, Emil-Figge-Straße 91, 44227 Dortmund.

Informationen zu Anfahrt und Übernachtungsmöglichkeiten gibt es hier.

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 ist deshalb u.a. Raum für

  • eingeladene Vorträge:
  • Vorträge über aktuelle Forschungsprojekt-Initiativen:
  • 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. Geplant ist weiterhin die turnusmäßige Wahl des Leitungsgremiums.

Vortrags-Vorschläge werden bis zum Fr 15.10.2013 erbeten. Vortragsvorschläge oder Fragen richten Sie bitte an: PD Dr. habil. Werner Stephan, DFKI.

Hinweise zu geeigneten Hotels gibt es hier.

Es wird evt. ein kleiner (<= 10 EUR) Teilnahmebeitrag erhoben. Weitere Informationen dazu folgen.

Organisatoren:

Vorläufiges Programm

Download: Vorläufiges Programm
nach oben

Verantwortlich für diese Webseite ist die GI-Fachgruppe FoMSESS.
Wir sind nicht verantwortlich für die Inhalte externer Internetseiten.
Copyright © 2002 Fachgruppe FoMSESS der GI e.V. - Alle Rechte vorbehalten.

Jan Jürjens