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…
The Saarland state government announced last June that it would support the establishment of a Center for Quantum Technologies (QuTe) at Saarland University with more than €53 million in funding. Today, the center officially begins its work with a ceremonial kick-off event. Among those attending are Minister Jakob von Weizsäcker,…
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…
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.…
