Anthony W. Lin -- Max Planck Fellow at MPI-SWS and CS professor at RPTU in Kaiserslautern -- has received an Outstanding Paper Award at ICLR 2026, one of the flagship conferences in machine learning, for his work on "Transformers are Inherently Succinct” (https://openreview.net/forum?id=Yxz92UuPLQ)! This is an incredible achievement — only…
Researchers from the Max Planck Institute for Software Systems (MPI-SWS), the Max Planck Institute for Informatics (MPI-INF), and the Max Planck Institute for Security and Privacy (MPI-SP) have coauthored 20 papers at the LICS 2026 and ICALP 2026 conferences, two of the top conferences in theoretical computer science. LICS is…
The EATCS Award for the best theory paper at ETAPS 2026 was awarded to Isa Vialard, Joël Ouaknine and Quentin Guilmant for their paper "The value problem for weighted timed games with two clocks is undecidable", published in FoSSaCS 2026. The EATCS award is given each year to the best…
MPI-SWS scientific director Joël Ouaknine was appointed as a Fellow by the European Association for Theoretical Computer Science (EATCS). Joël, who leads the “Foundations of Algorithmic Verification” research group, was appointed EATCS fellow for "fundamental contributions to the algorithmic analysis of dynamical systems and related formalisms." The EATCS Fellows Program was established…
The new graduate school will develop advanced AI methods for basic life sciences research. The school will focus on deepening understanding of biological systems by combining modern biomedical technologies with innovative approaches to artificial intelligence. The aim is to train a new generation of scientists who will develop algorithms that…
