News Archive



Image of press release
JOËL OUAKNINE RECEIVES LICS TEST-OF-TIME AWARD

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 [...]

Image of press release
Computer Scientist Appointed Henriette Herz Scout by the Humboldt Foundation

Tomohiro Nagashima, Junior Professor of Computer Science at Saarland University, has been appointed a Henriette Herz Scout by the Alexander von Humboldt Foundation. This distinction enables him to nominate three promising international researchers. Following a formal review, these candidates will be awarded a research fellowship from the Humboldt Foundation, allowing them to conduct research at Saarland University for a period of six months to two years.

Image of press release
MPI-SWS ORGANIZES RESEARCH SYMPOSIUM

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 Jegelka (TU Munich), Zeynep Akata (Helmholtz Munich & TU Munich), and Elissa Redmiles (Georgetown University).

123456 ...
73