06/30/25
MPI-SWS faculty member Joël Ouaknine has received the 2025 LICS Test-of-Time award for his 2005 paper “On the Decidability of Metric Temporal Logic”. The work was done in collaboration with Ben Worrell.
06/25/25
Forschungstage supports the next generation of scientists with lectures, workshops, and insights into latest computer science research From June 25 to 27, 2025, Saarbrücken will once again become a hub for young computer science enthusiasts from across Germany. Since 2008, the Saarbrücken Research Days have provided selected high school students…
06/25/25
As part of our periodic evolution and development, MPI-SWS organized an (in-person) symposium on research topics of emerging interest in the broad area of software systems. We invited six top researchers from around the world to participate: Natacha Crooks (UC Berkeley), Alexandra Silva (Cornell University), Maria Christakis (TU Wien), Stefanie…
02/07/25
Professor Derek Dreyer, scientific director of the Max Planck Institute for Software Systems. Photo: Oliver Dietze Professor Derek Dreyer, Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS), has recently received two prestigious international awards recognizing his research. The Association for Computing Machinery (ACM), the world’s largest scientific…
11/12/24
So-called ‘discrete dynamical systems’ form the basis for key computational challenges in a variety of fields, from program analysis and computer-aided verification to artificial intelligence and theoretical biology. Creating algorithmic solutions to make these systems amenable to automated verification techniques remains a major challenge. Researchers at the Max Planck Institute…