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
Teaching
Winter 2018/2019
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
Offers
Teaching
Winter 2020/2021
Summer 2020
Winter 2019/2020
Summer 2019
Winter 2018/2019
Automated Reasoning
ILP seminar
Summer 2018
Winter 2017/2018
Summer 2017
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
Winter 2018/2019
Automated Reasoning
ILP Seminar