Throughout the last years trustworthiness has become a key building block in the design development of new software and hardware systems. In many application domains state-of-the-art testing is not sufficient to establish the needed trustworthiness. Formal verification, where properties of a program are expressed as theorems and established via machine-checked proofs, has the potential to serve as foundation of high-assurance software. Beyond that, formal verification is set to become a key building block for trustworthy AI systems.

This workshop shall serve as an open discussion forum, to bring together practitioners and researchers in formal verification, to exchange ideas and discuss the latest trends in the domain of specification-driven formal verification for software and hardware design.

To promote formal verification, we aim to establish a community (potentially as a GI Fachgruppe) where researchers in Germany and the DACH area connect, exchange ideas and prepare the roadmap for the future development of formal verification.

Please note that the workshop is designed to be ‘invite only’. We look forward to your request for invitation at protect@gi.de.

Organisation

The workshop is organised by

• Dr.-Ing. Sebastian Ertel, Barkhausen Institut,
• Dr. Hendrik Tews, Kernkonzept,
• Dr. Sven Linker, Kernkonzept, and
• Marieke Petersen, German Informatics Society.

About the event:

The INFORMATIK FESTIVAL is the annual conference of the German Informatics Society (Gesellschaft für Informatik e.V.). With more than 17,000 members, the Society brings together all sides of the IT community. Since 1971, the event has been a regular fixture in the industry and offers participants a wide range of opportunities to exchange ideas with computer scientists – on current debates, future trends and scientific, political and social issues relating to computer science.

Since 2023, the conference has been organised as a festival, which means that, in addition to the usual programme items of a classic scientific conference, there are other highlights, such as a relaxed, complimentary welcome reception in a special location or a festival night.

For more information, please visit informatik2026.gi.de.