-------- Original-Nachricht -------- Betreff: Aufruf zur Teilnahme: FoMSESS Jahrestreffen 6./7.6. 2005, Kiel Datum: Wed, 25 May 2005 18:52:12 +0200 Von: Jan Ju''rjens juerjens@in.tum.de An: germany-c@IEEE.ORG

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1

Einladung zum Jahrestreffen

Formale Methoden und Software Engineering für Sichere Systeme

GI-Fachgruppe FoMSESS

Kiel, 6. und 7.6.2005

***** UPDATE: PROGRAMM JETZT UNTER: ****

http://www.ti.informatik.uni-kiel.de/FoMSESS2005/

Das dritte 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 6. und 7. Juni 2005 an der Christian-Albrechts-Universität zu Kiel 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 ist deshalb u.a. Raum für ~ - eingeladene Vorträge, ~ - eingeladene Tutorials, ~ - Fachvorträge, in denen über konkrete Arbeits- und Forschungsergebnisse ~ berichtet wird, ~ - Übersichtsvorträge, die das Profil einzelner Arbeitsgruppen beschreiben.

In diesem Jahr konnten die Fachgruppenleitung und die Organisatoren den Datenschutzbeauftragten des Landes Schleswig-Holstein, Dr. Thilo Weichert, für einen Vortrag zum Thema

"Das Datenschutzgütesiegel als Instrument zur Bestätigung sicherer Informationstechnik"

und Dr. Heiko Mantel, ETH Zürich, für ein Tutorial zum Thema

"Informationsflusssicherheit"

gewinnen.

Für die Ausgestaltung des weiteren Programms wird hiermit gebeten um die Einsendung von Angeboten für Fach- und Übersichtsvorträge.

Vorträge aus allen Interessengebieten der Fachgruppe sind willkommen; Vorträge zum Thema "Security & Safety Policies" sind besonders erwünscht.

Die Teilnahme steht allen Interessierten offen; vor Ort wird ein geringer Unkostenbeitrag erhoben.

Anmeldung von Vortragsangeboten: 30.04.2005 Anmeldung zur Teilnahme: 20.05.2005 Jahrestagung: 06.06.2005, 9.00 Uhr - 07.06.2005, 13 Uhr

Anmeldung zur Tagung, Anmeldung von Vorträgen sowie weitere Informationen (zu Übernachtungsmöglichkeiten, Anreise, ...) unter

http://www.ti.informatik.uni-kiel.de/FoMSESS2005/

Informationen zur Fachgruppe unter

http://www4.in.tum.de/~fomsess/

- ---------------------------------------------------------

Veranstalter: GI-Fachgruppe FoMSESS (Sprecher Dr. Jan Jürjens)

Organisatoren: Ralf Küsters, Thomas Wilke Institut für Informatik Christian-Albrechts-Universität zu Kiel

- -- Dr. Jan Ju"rjens Software & Systems Engineering, TU Mu"nchen - tel. +49 89 289-17338 http://www4.in.tum.de/~juerjens - mobile +49 179 8804051 - -- Out now: Secure Systems Development with UML (Springer-Verlag). More info at: http://www.umlsec.org