News from the FIDS

by David Elsweiler, members of Information Science Regensburg, and colleagues from the Universidad de Santiago de Compostela

by Bartol Borozn, colleagues from UNIOS, and Stefan Canzar

The three new English-language M.Sc. degree programmes "Computer Science", "Data Science" and "Human-Centred Artificial Intelligence" prepare students specifically for future topics in an…

co-authored by Francisca R. Ringeling, Stefan Canzar, and Juan F. I. Martinez

The first FIDS prize for special commitment by young female scientists goes to Dr Tanja Auge (Data Engineering), Magdalena Glas (Information Systems I) and Melanie A. Kilian (Information Science).

Kat Vuk (FIDS, Machine Learning Group) joins the Graduate Centre at the Bavarian Research Institute for Digital Transformation (bidt).

3 contributions at the SIGIR 2025 of Information Science Regensburg

by David Elsweiler, members of Information Science Regensburg, and colleagues from the Universidad de Santiago de Compostela

by Gregor Donabauer and Udo Kruschwitz

from Samy Ateia

test1

The paper "Complementable Normal Form of Parametrised Automata" by Franziska Alber and Philipp Rümmer was accepted at CIAA 2025. The conference will take place from 22 to 25 September in Palermo.

The paper "A New Approach for Showing Termination of Parameterised Transition Systems" by Roland Herrmann and Philipp Rümmer was accepted at CIAA 2025. The conference will take place from 22 to 25…

Zafer Esen has successfully defended his doctoral thesis entitled "Transformations for Verifying Programs with Heap-Allocated Data Structures". Congratulations!

Chencheng Liang has successfully defended her doctoral thesis entitled "Learning to Guide Automated Reasoning: A GNN-Based Framework". Congratulations!