Skip to navigation (Press Enter)
Skip to main content (Press Enter)
English
Anschrift
Pressemitteilung
RG1
Automation of Logic
Home
Institut
Zielsetzung
Anschrift
Geschäftsführung
Wissenschaftliche Mitglieder der MPG
Fachbeirat
Kuratorium
Aktuelles
Overview
Pressemitteilungen
Auszeichnungen
Aktueller Forschungsschwerpunkt
Campus Event Kalender
25th anniversary
Stellenangebote
Abteilungen
Algorithms & Complexity
Computer Vision and Machine Learning
Internet Architecture
Computer Graphics
Databases and Information Systems
Visual Computing and Artificial Intelligence
Research Group Computational Biology
Automation of Logic
Network and Cloud Systems
Publications
Algorithms & Complexity
Computer Vision and Machine Learning
Internet Architecture
Computer Graphics
Databases and Information Systems
Visual Computing and Artificial Intelligence
Automation of Logic
Network and Cloud Systems
Research Reports
Scientific Advisory Board
Curatorship Board
25th anniversary
IMPRS-CS
Personen
Software
Dienste
Gemeinsame zentrale Dienste
Gemeinsame Verwaltung
- Bibliothek
- International Office
Gemeinsame wissenschaftliche IT und Technische Dienste
- Haus und Technik
Forschungskoordination
Beauftragte für Chancengerechtigkeit
- Chancengerechtigkeit
Beauftragter für Schwerbehinderte
Beauftragter für Sicherheit
Ombudsmann für gute wissenschaftliche Praxis und Promotionsangelegenheiten
Betriebsarzt
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)
VIA - Saarbrücken Center for Visual Computing, Interaction and Artificial Intelligence
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
COVID-19
Abteilungen
Automation of Logic
Research Areas
First-Order Theorem Proving
Algorithms & Complexity
Computer Vision and Machine Learning
Internet Architecture
Computer Graphics
Databases and Information Systems
Visual Computing and Artificial Intelligence
Research Group Computational Biology
Automation of Logic
People
Research Areas
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
Network and Cloud Systems