Skip to navigation (Press Enter)
Skip to main content (Press Enter)
Deutsch
Location
Press
RG1
Automation of Logic
Home
Institute
Mission
Address
Executive Board
Scientific Members of MPG
Scientific Advisory Board
Board of Trustees
News
Overview
Press Releases
Awards
Spotlights
Campus Event Calendar
25th anniversary
Employment
Departments
Algorithms & Complexity
Computer Vision and Machine Learning
Internet Architecture
Computer Graphics
Databases and Information Systems
Research Group Computational Biology
Automation of Logic
Publications
Algorithms & Complexity
Computer Vision and Machine Learning
Internet Architecture
Computer Graphics
Databases and Information Systems
Research Group Computational Biology
Automation of Logic
Research Reports
Scientific Advisory Board
Curatorship Board
IMPRS-CS
People
Software
Services
Joint Administration
- Information Services & Technology
- Building and Technical Support
- Library
- Public Relations
Research Coordination
Equal Opportunities
Care Appointees
Ombudsperson for Good Scientific Practice and Doctoral Research
International Office
CS@MPG
CS@SAAR
Saarland Informatics Campus
Computer Science Department, Saarland University
Max Planck Institute for Software Systems (MPI-SWS)
German Center for Artificial Intelligence (DFKI)
Center for Security, Privacy and Accountability (CISPA)
Graduate School for Computer Science
Cluster of Excellence (MMCI)
Max Planck Center for Visual Computing and Communication
Kaiserslautern-Saarbrücken Computer Science Cluster
IT-Inkubator
Departments
Automation of Logic
Research Areas
Decidable Fragments
Algorithms & Complexity
Computer Vision and Machine Learning
Internet Architecture
Computer Graphics
Databases and Information Systems
Research Group Computational Biology
Automation of Logic
People
Research Areas
Arithmetic Reasoning
Automated Verification
Combinations of Deductive Systems
Decidable Fragments
First-Order Model Checking
First-Order Theorem Proving
Local Reasoning
Offers
Teaching
Talks & Events
Projects
Publications
Software
Useful Links
RG1 Intranet