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.

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. 

von Bartol Borozn, Kollegen der UNIOS und Stefan Canzar

von Qing Zhang, David Elsweiler und Christoph Trattner

Die drei neuen englischsprachigen M.Sc.- Studiengänge „Computer Science”, „Data Science” und „Human-Centred Artificial Intelligence” bereiten Studierende in einem internationalen akademischen Umfeld…

mitverfasst von Francisca R. Ringeling, Stefan Canzar & Juan F. I. Martinez