News Archive
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 [...]
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.
Forschungstage supports the next generation of scientists with lectures, workshops, and insights into latest computer science [...]
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).
73»