GI e.V.

Gesellschaft für Informatik e.V.

Fachgruppe FoMSESS

 

Jahrestagung der Fachgruppe am 12. und 13. Mai 2003 in Karlsruhe



Ziele

Einladung

Termine

Programm mit Folien zu den Vorträgen

Unterkunft

Tagungsort

Organisation






Ziele

Die Entwicklung vertrauenswürdiger sicherheitskritischer Systeme ist schwierig. Es werden viele Systeme entworfen und realisiert, in denen im Nachhinein schwere Sicherheitslücken in Entwurf und Implementierung gefunden werden, die zum Teil schlagzeilenträchtiges Fehlverhalten oder Angriffe ermöglichen. Dies motiviert die Entwicklung effektiver Methoden für die Entwicklung qualitativ hochwertiger sicherheitskritischer Systeme.

Zielsetzung der Fachgruppe und dieser Tagung ist es, in der Computer- und Informationssicherheit ein Diskussionsforum im deutschsprachigen Raum zu bieten, das sich mit der Grundlagenforschung und Anwendung formaler oder mathematisch präziser Techniken im Software-Engineering beschäftigt. Von Interesse ist Sicherheit im Sinne sowohl von Safety als auch von Security.


Einladung

Die erste Jahrestagung der GI-Fachgruppe FoMSESS findet am 12. und 13. Mai 2003 in Karlsruhe statt.

Die Tagung ist anderthalbtägig. Sie beginnt Montag Mittag und endet Dienstag am späten Nachmittag, so daß bei nicht allzu weiter Anreise eine Übernachtung ausreicht.

Das konkrete Ziel der ersten Jahrestagung ist ein Überblick über die Arbeiten im deutschsprachigen Raum zum Thema Entwicklung vertrauenswürdiger sicherheitskritischer Systeme. Daher liegt der Schwerpunkt weniger auf der detaillierten Darstellung aktueller Forschungsergebnisse. Die Vorträge sollen vielmehr einen Überblick über die Forschungstätigkeit der einzelnen Arbeitsgruppen geben.

Die Teilnahme steht allen Interessierten offen; um Vortragsvorschläge wird gebeten.

Anmeldungen zur Teilnahme senden Sie bitte bis zum 30.04.03 an beckert@ira.uka.de.

Vortragsvorschläge senden Sie bitte bis zum 18.04.03 an hwp@in.tum.de.

Die Fachgruppe erhebt anläßlich der Jahrestagung einen Beitrag von den Teilnehmern in Höhe von 25 Euro.


Termine

Anmeldung von Vortragswünschen: 18.04.03
Anmeldung zur Teilnahme: 30.04.03
Jahrestagung: 12./13.05.03 (Montag Mittag bis Dienstag Nachmittag)


Unterkunft

Die Teilnehmer werden gebeten, ihre Unterkunft in Karlsruhe selbst zu buchen. Sehr hilfreich hierfür ist der Online-Zimmernachweis der Stadt Karlsruhe. Beachten Sie bitte bei der Buchung, daß der Tagungsort sich am östlichen Ende des Bereichs Innenstadt/Universität befindet.

Als ein gutes Hotel sei den Teilnehmern das Hotel Erbprinzenhof empfohlen. Um von dort zum Tagungsort zu gelangen, fahren Sie ab Haltestelle Herrenstraße mit den Linien 1, 4, S2, oder S5 Richtung Osten bis zur Haltestelle Durlacher Tor (siehe auch Liniennetz des Nahverkehrs). Den Rest des Weges kann man dann zu Fuß bewältigen.


Tagungsort

Die Tagung wird im sogenannten Allgemeinen Verfügungsgebäude (AVG, Geb.Nr. 50.41), Raum 145/146 stattfinden. Das AVG befindet sich ca 200m entfernt von dem Informatik-Hauptgebäude (Geb.Nr. 50.34) der Universität Karlsruhe.

Auf dem Überblicksplan finden Sie sowohl AVG als auch Informatik-Hauptgebäude besonders gekennzeichnet. Hinter dem AVG gibt es einen kostenfreien, öffentlichen Parkplatz (Waldparkplatz). Eine Anreisebeschreibung zum Informatik-Hauptgebäude befindet sich auf den offiziellen Web-Seiten der Fakultät Informatik.

Für das gemeinsames Abendessen am Montag Abend habe wir Tische im Restaurant "Krokodil", Waldstraße 63 (Ludwigsplatz) reserviert. Bitte beachten Sie die Speisekarte.


Organisation

Die Tagung wird von den Mitarbeitern des KeY-Projektes unter Leitung von Bernhard Beckert und Peter H. Schmitt organisiert.
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.
Webmaster: <beckert@ira.uka.de>