From September 1–5, 2025, the Saarland Informatics Campus will host the internationally renowned Highlights of Logic, Games and Automata Conference. Around 110 to 150 international participants are expected to attend – including leading researchers in logic, games, formal methods, verification, and algorithmic modeling. The Highlights Conference features an innovative format…
Satellite images, social media and barcode scanners in shops offer a wealth of data that has so far been little used in the social sciences. New AI-supported methods are helping with the evaluation, but they require a great deal of IT expertise and legal and ethical consideration. This interdisciplinary expertise…
Prof. Dr. rer. nat. Dr. h.c. mult. Kurt Mehlhorn, emeritus director of the Max Planck Institute for Informatics, was honored with the Saarland Order of Merit on August 20, 2025, in Saarbrücken. Minister President Anke Rehlinger presented this highest award of the Saarland during a ceremony at the State Chancellery in…
How can the certification of AI systems help regulate Artificial Intelligence and build trust in the technology? This is the question being explored by German and Brazilian research teams. The project brings together research groups from Saarland University and the University of São Paulo, with funding from the German Research…
Computer scientist and CISPA faculty Prof. Dr. Andreas Zeller has been awarded an ERC Proof of Concept Grant by the European Research Council (ERC). The grant, totaling €150,000, enables him to transfer the results of his ERC Advanced Grant project “S3 – Semantics of Software Systems” into practical application. In…
