MPI-SWS faculty member Peter Druschel has received the 2025 IEEE TCDP Outstanding Technical Achievement Award for his pioneering contributions to the design and implementation of large-scale distributed systems. For more information on the award and other recent recipients, see here.
MPI-SWS-Fakultätsmitglied Derek Dreyer und seine Forschungspartner erzielten in diesem Jahr eine herausragende Präsenz auf den führenden Konferenzen im Bereich Programmiersprachen. Sie erhielten Distinguished Paper Awards für zwei Beiträge auf der PLDI 2025 und einen Beitrag auf der POPL 2025. Auf der diesjährigen PLDI wurden nur 6 von 89 angenommenen Beiträgen…
MPI-SWS-Fakultätsmitglied Joël Ouaknine wurde mit dem LICS Test-of-Time Award 2025 für seine 2005 erschienene Arbeit “On the Decidability of Metric Temporal Logic” ausgezeichnet. Die Forschung entstand in Zusammenarbeit mit Ben Worrell.
Forschungstage fördern den wissenschaftlichen Nachwuchs mit Vorträgen, Workshops und Einblicken in die aktuelle Informatikforschung. Vom 25. bis 27. Juni 2025 ist Saarbrücken wieder ein Zentrum für junge Informatikbegeisterte aus ganz Deutschland. Bereits seit 2008 bieten die Saarbrücker Forschungstage ausgewählten Schülerinnen und Schülern die Gelegenheit, tiefer in die Welt der Informatik…
Im Rahmen seiner kontinuierlichen Weiterentwicklung und thematischen Neuausrichtung organisierte das MPI-SWS ein Präsenzsymposium zu aktuellen und aufstrebenden Forschungsthemen im Bereich der Softwaresysteme. Zu dem Symposium wurden sechs führende Forscherinnen und Forscher aus aller Welt eingeladen: Natacha Crooks (UC Berkeley), Alexandra Silva (Cornell University), Maria Christakis (TU Wien), Stefanie Jegelka (TU…
