Selbst die besten KI-Sprachmodelle, sogenannte Large Language Models, können bei logischen Fragestellungen deutlich danebenliegen. Dann stimmen Rechnungen nicht, Reihenfolgen werden falsch wiedergegeben oder die KI halluziniert und denkt sich falsche Kennzahlen oder Zitate aus. Für dieses Problem hat Michael Hahn, Computerlinguist der Fachrichtung Sprachwissenschaft und Sprachtechnologie, bereits vielversprechende Forschungsergebnisse vorzuweisen.…
Vom 1. bis 5. September 2025 wird der Saarland Informatics Campus Gastgeber der renommierten Highlights of Logic, Games and Automata Conference. Erwartet werden rund 110 bis 150 internationale Teilnehmende – darunter führende Forschende aus den Bereichen Logik, Spiele, formale Methoden, Verifikation und algorithmische Modellierung. Die Highlights Conference bietet ein innovatives…
Satellitenbilder, soziale Medien oder Barcode-Scanner in Geschäften bieten einen reichen Datenschatz, der bisher in den Sozialwissenschaften noch wenig genutzt wird. Neue KI-gestützte Methoden helfen hier bei der Auswertung, sie erfordern jedoch viel IT-Knowhow und eine rechtliche und ethische Einordnung. Diese interdisziplinären Fachkenntnisse sollen jetzt in einem Kompetenzzentrum genannt „Societal Observatory…
Prof. Dr. rer. nat. Dr. h.c. mult. Kurt Mehlhorn, emeritierter Direktor des Max-Planck-Instituts für Informatik, wurde am 20. August 2025 in Saarbrücken mit dem Saarländischen Verdienstorden geehrt. Ministerpräsidentin Anke Rehlinger verlieh ihm diese höchste Auszeichnung des Saarlandes im Rahmen einer Feierstunde in der Saarbrücker Staatskanzlei. Aus der Laudatio der Ministerpräsidentin:…
Informatik-Professor und CISPA-Forscher Andreas Zeller erhält einen ERC Proof of Concept Grant des Europäischen Forschungsrats. Die Förderung in Höhe von 150.000 Euro ermöglicht es ihm, die Ergebnisse seines ERC Advanced Grants „S3 – Semantics of Software Systems“ in die Praxis zu überführen. Hierbei entwickelt Zeller einen intelligenten Software-Agenten, der komplexe…
