Aktuelles aus der FIDS

Kat Vuk (FIDS, Lehrstuhl Machine Learning) wird ins Graduate Center am Bayerischen Forschungsinstitut für Digitale Transformation (bidt) aufgenommen.

von Samy Ateia

Das Paper “A New Approach for Showing Termination of Parameterized Transition Systems” von Roland Herrmann und Philipp Rümmer wurde bei CIAA 2025 angenommen. Die Konferenz findet vom 22. bis 25.…

Das Paper “Complementable Normal Form of Parametrized Automata” von Franziska Alber und Philipp Rümmer wurde bei CIAA 2025 angenommen. Die Konferenz findet vom 22. bis 25. September in Palermo statt.

Zafer Esen hat seine Doktorarbeit mit dem Titel "Transformations for Verifying Programs with Heap-Allocated Data Structures" erfolgreich verteidigt. Herzlichen Glückwunsch!

Henri Fr?hlich, Benjamin Kn?bel und Joseph Schuler holen sich mit BeyondBlister den ersten Platz.