Skip to
main content
or
main navigation
Institute
D1
Algorithms and Complexity
D2
Computer Vision and Machine Learning
D3
Internet Architecture
D4
Computer Graphics
D5
Databases and Information Systems
D6
Visual Computing and Artificial Intelligence
RG1
Automation of Logic
RG2
Network and Cloud Systems
RG3
Multimodal Language Processing
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
Winter 2024/2025
Automated Reasoning
Decision Procedures for Specific Theories
Summer 2024
Automated Reasoning II
Competitive Programming
Winter 2023/2024
Summer 2023
Algorithmic Quantifier Elimination
Winter 2022/2023
Automated Reasoning
Summer 2022
Winter 2021/2022
Winter 2020/2021
Automated Reasoning
Summer 2020
Winter 2019/2020
Summer 2019
Decision Procedures
Concrete Semantics with Isabelle/HOL
Winter 2018/2019
Automated Reasoning
ILP seminar
Summer 2018
Winter 2017/2018
Summer 2017
Automated Reasoning II
Winter 2016/2017
Automated Reasoning
Summer 2016
SAT: Propositionale Erfüllbarkeit und Mehr
Winter 2015/2016
Summer 2015
Decision Procedures
Earlier Terms
Former Lectures of D2
Talks & Events
Projects
Publications
Current Year
Last Year
The Year Before Last
Research Reports
Software
SPASS Workbench
SPASS-IQ
SPASS-SATT
Classic SPASS Theorem Prover
Useful Links
(Hi)Story
Contact
Automation of Logic
Waldmeister
People
Implementation
Recipes
References
Download
Primer
Try now!
Useful Links
Intranet
Deutsch
Research
Departments & Independent Research Groups
Automation of Logic
Teaching
Summer 2023
Summer 2023
Course:
Algorithmic Quantifier Elimination
