en | de

Master Seminar 2

Masterstudium

SE2  SS 2008  703525

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.