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.

News

Joël Ouaknine receives LICS test-of-time award

June 2025
Joël Ouaknine has received the 2025 LICS test-of-time award for his 2005 paper on Metric Temporal Logic.

Georg Zetzsche receives 2025 Salomaa prize

April 2025
The 2025 Salomaa prize has been awarded to Georg Zetzsche for the breadth and depth of his results in formal languages, automata theory, and logic.

Max Planck researchers publish 9 papers at POPL 2025 + a new record!

January 2025
Max Planck researchers have authored nine papers to appear in POPL 2025.

7.5 Million Euro ERC grant awarded to research combining mathematics and theoretical computer science

November 2024
MPI-SWS researchers Joël Ouaknine and Florian Luca are principal investigators of the interdisciplinary project, titled ‘Dynamical and Arithmetical Model Checking’, which has just been awarded an ERC Synergy Grant.

MPI-SWS researchers receives LICS 2024 Distinguished Paper Award

July 2024
MPI-SWS researchers have received a Distinguished Paper Award at LICS 2024 for their paper "On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates."

Papers