In den letzten Jahren hat sich die Vertrauenswürdigkeit zu einem zentralen Baustein bei der Entwicklung neuer Software- und Hardwaresysteme entwickelt. In vielen Anwendungsbereichen reichen modernste Testverfahren nicht aus, um die erforderliche Vertrauenswürdigkeit zu gewährleisten. Die formale Verifikation, bei der Eigenschaften eines Programms als Theoreme formuliert und durch maschinell überprüfte Beweise belegt werden, hat das Potenzial, als Grundlage für hochsichere Software zu dienen. Darüber hinaus wird die formale Verifikation zu einem zentralen Baustein für vertrauenswürdige KI-Systeme werden.

Dieser Workshop soll als offenes Diskussionsforum dienen, um Praktiker und Forscher im Bereich der formalen Verifikation zusammenzubringen, Ideen auszutauschen und die neuesten Trends im Bereich der spezifikationsgesteuerten formalen Verifikation für Software- und Hardware-Design zu diskutieren.

Um die formale Verifikation zu fördern, streben wir den Aufbau einer Community (möglicherweise als GI-Fachgruppe) an, in der sich Forscher in Deutschland und im DACH-Raum vernetzen, Ideen austauschen und die Roadmap für die zukünftige Entwicklung der formalen Verifikation erarbeiten.

Bitte beachten Sie, dass der Workshop „invite only“ konzipiert ist. Um Anmeldung wird gebeten unter protect@gi.de. Wir freuen uns über Ihre Nachricht.

Organisation

Der Workshop wird organisiert von:

• Sebastian Ertel, Barkhausen Institut,
• Hendrik Tews, Kernkonzept,
• Sven Linker, Kernkonzept, und
• Marieke Petersen, Gesellschaft für Informatik e.V..

Zur Veranstaltung:

Das INFORMATIK FESTIVAL ist die Jahrestagung der Gesellschaft für Informatik e.V.. Mit mehr als 17.000 Mitgliedern vereinigt sie alle Seiten der Informatik-Community. Seit 1971 ist das Event eine feste Größe in der Branche und bietet Teilnehmenden vielseitige Gelegenheiten, sich mit Informatikerinnen und Informatikern auszutauschen – über aktuelle Debatten, Zukunftstrends sowie wissenschaftliche, politische und gesellschaftliche Fragen rund um die Informatik.

Seit 2023 findet die Tagung als Festival statt: Das bedeutet, dass neben den gewohnten Programmpunkten einer klassischen wissenschaftlichen Tagung auch noch andere Highlights dazukommen: zum Beispiel eine lockere, kostenlose Welcome Reception in einer besonderen Location oder eine Festival Night.

Mehr Informationen unter https://informatik2026.gi.de/.