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.…
Städte enthalten enorme Mengen an wertvollen Materialien, die in bestehenden Gebäuden verbaut sind und bei Sanierungen oder Rückbauten häufig ungenutzt verloren gehen. Genau hier setzt Urban Mining an: Es betrachtet Gebäude als Materiallager und zielt darauf ab, vorhandene Baustoffe und Bauteile systematisch zu erfassen und wiederzuverwenden, statt sie zu entsorgen.…
