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…
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).
The paper "Public Key Linting for ML-KEM and ML-DSA" by Juliane Krämer and Maximiliane Weishäupl in collaboration with Evangelos Karatsiolis, Franziskus Kiefer, Mirjam Loiero and Christian Tobias has…
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…
In order for our website to function technically, we set required cookies. In addition, optional cookies enable the best possible use of the site. By checking the checkboxes you give your consent. You can revoke this at any time. More info about this in our privacy policy.
