Skip to
main content
or
main navigation
Institute
D1
Algorithms & Complexity
D2
Computer Vision and Machine Learning
D3
Internet Architecture
D4
Computer Graphics
D5
Databases and Information Systems
D6
Visual Computing and Artificial Intelligence
BIO
Research Group Computational Biology
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
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
Departments
Automation of Logic
Software
Waldmeister
People
People
Thomas Hillenbrand
Bernd Löchner
Arnim Buch
Andreas Jaeger
Roland Vogt
