News Archiv
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.
Tomohiro Nagashima, Informatik-Juniorprofessor der Saar-Universität, ist von der Alexander von Humboldt-Stiftung zum „Henriette-Herz-Scout“ ernannt worden. Dies gibt ihm die Möglichkeit, drei Wissenschaftstalente aus dem Ausland vorzuschlagen. Diese erhalten nach einer formalen Prüfung ein Forschungsstipendium der Humboldt-Stiftung und können in einem Zeitraum von sechs Monaten bis zu zwei Jahren an der Universität des Saarlandes forschen.
Forschungstage fördern den wissenschaftlichen Nachwuchs mit Vorträgen, Workshops und Einblicken in die aktuelle Informatikforschung. Vom [...]
Im Rahmen seiner kontinuierlichen Weiterentwicklung und thematischen Neuausrichtung organisierte das MPI-SWS ein Präsenzsymposium zu aktuellen und aufstrebenden Forschungsthemen im Bereich [...]
244»