en | de

Master Seminar 2

master program

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.