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
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
Research Group Computational Biology
Automation of Logic
Network and Cloud Systems
Research Reports
Scientific Advisory Board
Curatorship Board
25th anniversary
IMPRS-CS
People
Software
Services
Joint Central Services
Joint Administration
- Library
- International Office
Joint Scientific IT and Technical Services
- Building and Technical Support
Research Coordination
Representative for Equal Opportunities
- Equal Opportunities
Representative for Severely Disabled Persons
Representative for Safety
Ombudsperson for Good Scientific Practice and Doctoral Research
Company Physician
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
Departments
Automation of Logic
Teaching
Summer 2017
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
Offers
Teaching
Summer 2023
Winter 2022/2023
Summer 2022
Winter 2021/2022
Winter 2020/2021
Summer 2020
Winter 2019/2020
Summer 2019
Winter 2018/2019
Summer 2018
Winter 2017/2018
Summer 2017
Automated Reasoning II
Winter 2016/2017
Summer 2016
Winter 2015/2016
Summer 2015
Earlier Terms
Former Lectures of D2
Talks & Events
Projects
Publications
Software
Useful Links
RG1 Intranet
Network and Cloud Systems