About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Summer Term 2015  -  Lab Course Modeling and Automated Verification

Course title:   Lab Course Modeling and Automated Verification

Lecturer:   Prof. Christel Baier, Dr. Sascha Klüppelholz

Module:   MCL-PCS

Status:   advanced unit

SWS (lecture/tutorial/practical):   0/2/0

Examination method:   talk


Course description:

This lab course is intended for students in the Master´s program "Computational Logic". It affords the opportunity to participate in theoretical as well as applied state-of-the-art research projects. Most problems addressed in this course are closely related to or a part of current research projects of our workgroup. See for example:

Within these projects, tasks arise in various areas, including

Additional information: