Lectures and Courses Summer Term 2013

Lecture “Theoretische Informatik und Logik”

Prof. Dr. Baier and Prof. Dr. Hölldobler

SWS: (4/2/0)

Lecture “Advanced Logics”

Prof. Dr. Baier

SWS: (4/2/0)

Undergraduate Seminar “Ausgewählte Themen der Automatentheorie und Logik”

Prof. Dr. Baier and Dr. Klüppelholz

SWS: (0/2/0)

Seminar “Model Checking”

Prof. Dr. Baier and Dr. Klüppelholz

SWS: (0/2/0)

Advanced Project “Model Checking”

Prof. Dr. Baier and Dr. Klüppelholz

SWS: (0/0/4) oder (0/0/8)

Project Group “Model Checking”

Prof. Dr. Baier and Dr. Klüppelholz

SWS: (0/0/4)

Lab Course “Modelling and Quantitative System Analysis”

Prof. Dr. Baier and Dr. Klüppelholz

SWS: (0/0/4)

Profile Modules

Prof. Dr. Baier