Even the best AI language models — so-called large language models — can be significantly off the mark when it comes to logical questions. In such cases, calculations are incorrect, sequences are reproduced incorrectly, or the AI hallucinates and invents false statistics or quotes. Michael Hahn, a computational linguist at…
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…
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…
