Das Gleichstellungsbüro der Universität des Saarlandes lädt auch in diesem Sommer wieder zum Uni-Camp für MINT-interessierte Schülerinnen ein. Es findet vom 20. bis 24. Juli statt und bietet eine Woche lang spannende Einblicke in Wissenschaft und Campusleben. Mit Unterstützung des Ministeriums für Bildung und Kultur wird das Programm bereits zum…
The EATCS Award for the best theory paper at ETAPS 2026 was awarded to Isa Vialard, Joël Ouaknine and Quentin Guilmant for their paper "The value problem for weighted timed games with two clocks is undecidable", published in FoSSaCS 2026. The EATCS award is given each year to the best…
Am 22. April findet der UdS-KI-Tag für Studierende im Innovation Center (Gebäude A2 1) statt. Der Untertitel lautet: „Entdecke, wie KI dir hilft, effizienter zu studieren, dich gezielt auf deine berufliche Zukunft vorzubereiten und eigene Lernagenten zu entwickeln – präsentiert von der Universität des Saarlandes und dem AStA mit Microsoft als besonderem…
Die saarländische Landesregierung hat im vergangenen Juni angekündigt, den Aufbau eines Zentrums für Quantentechnologien (QuTe) an der Universität des Saarlandes mit über 53 Millionen Euro zu fördern. Dieses nimmt heute mit einer Festveranstaltung offiziell seine Arbeit auf. Daran nehmen neben Minister Jakob von Weizsäcker und Universitätspräsident Ludger Santen auch Astrid…
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.…
