Eventtipp für #Bochum: Das Jahrestreffen unserer Fachgruppe Formale Methoden und Software Engineering für sichere Systeme steht an! Programm-Highlights: 🔹 Keynote von Tim Würtele (@Uni_Stuttgart) Gewinner des CAST/GI-Promotionspreis IT-Sicherheit 2026 🔹 Industrie-Keynote von Tabea Bökelmann und Stephan Bökelmann zum Thema "What academia (may) not know about getting-stuff-done when engineering critical infrastructure" 14.–15. September 2026, Ruhr-Universität Bochum Registrierung bis 31. August 2026, 30 Euro Teilnahmegebühr Mehr Infos: https://fg-fomsess.gi.de/veranstaltung/jahrestreffen2026 #SoftwareEngineering #FormaleMethoden #ITSec #Cyber