en | de

Master Seminar 1

Masterstudium

SE2  WS 2010/2011  703524

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.

A list of earlier seminar reports is available.