News Archive
MPI-SWS faculty member Derek Dreyer and his collaborators made a very strong showing at the top programming language conferences this year. They received Distinguished Paper Awards for two papers at PLDI 2025 and one at POPL 2025. At PLDI this year, only 6 papers were given this award out of 89 accepted papers. At POPL this year, only 7 papers were given this award out of 81 accepted papers.
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 [...]
74»