Logo: German Research InstitutionsGerman Research Institutions

Research Group 1: Automation of Logic

  • Institutions
  • Projekts / Doctoral Opportunities
  • Top
Max-Planck Institute for Informatics

Research Group 1: Automation of Logic

Building E1 4 null, 66123 Saarbrücken

Go to websiteComputer Science (General)

Affiliated institutions

  • Department 1: Algorithms and Complexity
  • Department 2: Computer Vision and Machine Learning
  • Department 3: Internet Architecture
  • Department 4: Computer Graphics
  • Department 5: Databases and Information Systems
  • Research Group Computational Biology
  • Department 6: Visual Computing and Artificial Intelligence
  • Research Group 1: Automation of Logic

Projekts / Doctoral Opportunities

Logo: GEPRIS
View all current and completed DFG projects