Gesellschaft für Informatik e.V.Fachgruppe FoMSESS |
|||
- Formale Methoden und Software Engineering für Sichere
Systeme
|
|||
|
Jahrestreffen 2013Das 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
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 ProgrammDownload: Vorläufiges Programm | ||
nach oben |
Verantwortlich für diese Webseite ist die GI-Fachgruppe
FoMSESS.
|