MPI-SWS researchers receive 2026 EATCS Best Paper award
MPI-SWS researchers have received the 2026 EATCS best paper award for their paper "The value problem for weighted timed games with two clocks is undecidable."
Algorithms, Theory & Logic
The algorithms, theory, and logic theme encompasses our research into the mathematical underpinnings of computer science and the application of foundational ideas to concrete applications in many different areas of computer science. Our research spans both algorithms, decidability, and complexity as well as logic, semantics, and proof theory.
