Die MPI-SWS-Forschenden Travis Hance, Laila Elbeheiry und Derek Dreyer haben gemeinsam mit ihrem Kooperationspartner Yusuke Matsushita für ihre Arbeit „VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System“ den PLDI 2026 Distinguished Paper Award erhalten. Auf der diesjährigen PLDI wurde diese Auszeichnung nur an 10 der…
Auf der internationalen Hightech- und Start-up-Messe Vivatech in Paris (17.–20. Juni 2026) präsentieren das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) und das französische Informatikinstitut Inria im German Park (Halle 7.3, Stand 3E14) ihre enge Forschungskooperation – und setzen mit der Gründung eines deutsch-französischen KI-Zentrums ein starkes Zeichen für die Zukunft.…
Ab dem kommenden Wintersemester können Studierende den Masterstudiengang „Quanteninformationstheorie“ (Quantum Information Theory, QIT) an der Universität des Saarlandes studieren. Der englischsprachige Studiengang vermittelt Kompetenzen an der Schnittstelle von Mathematik, Informatik und Physik und bereitet gezielt auf zentrale Technologien der digitalen Zukunft vor. Interessierte Bachelorabsolventen aus den Bereichen Physik, Mathematik und…
Die Zukunft der europäischen Industrie wird nicht allein davon abhängen, ob Europa mit der rasanten Entwicklung der künstlichen Intelligenz Schritt halten kann. Ihre Wettbewerbsfähigkeit wird vor allem davon abhängen, wie erfolgreich KI aus dem digitalen Bereich in die physische Welt übertragen werden kann – in Roboter, Produktionslinien, Logistiksysteme und andere…
Künstliche Intelligenz (KI) und digitale Werkzeuge werden auch in den Forschungslaboren und der Industriepraxis der Chemie zunehmend unentbehrlich. An der Universität des Saarlandes entwickeln zwei Forscherinnen aus Chemie und Informatik gemeinsam ein Lehrkonzept, das Chemie-Studierende künftig frühzeitig an datenbasierte Verfahren heranführen und sie auf die neuen Anforderungen von Wissenschaft und…
