Max-Planck-Institut für Informatik

•   Research institution
•   Saarbrücken
•   https://www.mpi-inf.mpg.de/

Partner organization of the research group(s)

• Computational Logic
• Automata Theory
• Knowledge-Based Systems
• Verification and formal quantitative Analysis