Overview

View of the Erweiterungsbau 1

The Chair for Informatik in Logic and Theory of discrete Systems is located in the 1. Erweiterungsbau at Ahornstrasse.

read more...zu: Overview

 

Team

conference room

The chair consists of the Professors, assistants, secretary, and our IT-administration.

You can find office-hours, publications and current research topics on the corresponding personal page of each team member.

more...zu: Team

 

Events

There are no events at this time.