Introduction

In the seminar we study current and interesting topics from logic, model checking, term rewriting, and verification. The seminar provides an ideal preparation for a master project in the Computational Logic group.