Aktuelles aus der FIDS

Die Konferenz beleuchtete Chancen und Herausforderungen künstlicher Intelligenz und feierte das 10-j?hrige Bestehen des Netzwerks INDIGO

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

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.

Chencheng Liang hat ihre Doktorarbeit mit dem Titel "Learning to Guide Automated Reasoning: A GNN-Based Framework" erfolgreich verteidigt. Herzlichen Glückwunsch!

von Selina Meyer und David Elsweiler

Das Paper “What’s Decidable About Arrays With Sums?” von Roland Herrmann und Philipp Rümmer wurde bei CADE-30 angenommen. Die Konferenz findet vom 28. bis 31. Juli in Stuttgart statt.