20th Annual Meeting of the GI FoMSESS

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


This event is supported by: 

Logo der Cyberagentur
Agentur für Innovation in der Cybersicherheit



Unfortunately, the annual conference does not come without a registration fee, which covers catering and dinner.

The official registration will start at the beginning of June.

If you are planning a presentation at the annual meeting, there are two types of contributions:

  • A technical talk of 15 or 30 minutes (including a Q&A session) on current research topics or publications.
  • A poster on a research topic.
  • A tutorial of 120 minutes on a tool developed at the chair.

Please register your participation by e-mail atweigl∂kit.edu. Please indicate whether you are planning a contribution (talk or tutorial; title and abstract) and whether you will attend the informal dinner. The local organization is the responsibility of Dr. Alexander Weigl.






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


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.