The annual meetings serve as an informal exchange on current research issues in this field. They offer a unique opportunity (especially for young scientists) to present their current and ongoing work. The program of the annual meetings therefore includes space for invited lectures: Presentations on current research project initiatives, specialist presentations reporting on specific work and research results or overview presentations describing the profile of individual working groups.

The aim of this specialist group is to provide a discussion forum in the German-speaking area in the field of computer and information security that deals with basic research and the application of formal or mathematically precise techniques in software engineering. Of interest to the FG is security in the sense of both safety and security.

- fg-fomsess.gi.de

Invited Speakers

• Gidon Ernst
• Silvia Lizeth Tapia Tarifa
• Jan Richter-Brockmann

Call for Contribution

Please use this form to register a talk or a contribution. There are two types of contributions:

• A technical talk of 15 or 30 minutes (including a time for questions) on current research topics or publications.
• A poster on a research topic.

The local organization is the responsibility of Dr. Alexander Weigl.

A registration formular for the payment will follow. 

Programme

tbd.

Arrival

Depending on the number of participants, the annual conference will take place either in the Goos lecture hall (50.34, R-101) or in InformatiKOM II (50.19). Both can be reached via the Durlacher Tor/KIT Campus stops.

Campus map or on Google Maps

Public transportation: KVV

From Durlacher Tor: Keep north along the Adenauerring. Faktultät is at the eastern (right) end of the pedestrian bridge over Adenauerring.

From Karl-Wilhelms-Platz go north into Parkstraße, at the first intersection keep west (left) on the opposite street. The building is the last one before the pedestrian bridge (on the right).

The following lines are recommended from the main train station:

• 2- Wolfahrtsweier,
• S4-Bretten/Gölshausen (or Heilbronn),
• or 3-Waldstadt

Accommodation

In the immediate vicinity of the faculty, there is only the

• Hoepfner Burghof, Haid-und-Neu-Straße 18, 76131 Karlsruhe

Still within walking distance would be:

• sevenDays Karlsruhe Hotel BoardingHouse, Gerwigstraße 47, 76131 Karlsruhe
• Hotel "Am Gottesauer Schloss", Gottesauer Str. 32-34, 76131 Karlsruhe
• Hotel Am Markt, Kaiserstraße 76, 76133 Karlsruhe

There are more hotels in the west, make sure they are close to an S-Bahn station. Almost every line passes the campus: S2, S4, S5, S7, S8, S52, 1, 2, 3, 4, 5.