Max-Planck-Institut für Softwaresysteme

•   Research institution
•   Saarbrücken
•   https://www.mpi-sws.org/

Partner organization of the research group(s)

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