MPI-SWS researchers receives LICS 2024 Distinguished Paper Award
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."
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.
