Teaching

The content on this page was translated automatically.

Winter semester 2023/24

Computability and Complexity

Scope: 2+2 SWS
Lecturer: Dr. Norbert Hundeshagen
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=10630

 

Introduction to Formal Verification

Scope: 2+2 SWS
Lecturer : Prof. Dr. Martin Lange
Target group: Bachelor Computer Science
Moodle coursehttps://moodle.uni-kassel.de/course/view.php?id=10631

 

Database Theory

Scope: 2+2 SWS
Lecturer : Dr. Florian Bruse
Target group: Master Informatik
Moodlekurshttps://moodle.uni-kassel.de/course/view.php?id=10632

 

Seminar

Scope: 2 SWS
Lecturer : Prof. Dr. Martin Lange
Target group: Bachelor Informatik
Moodlekurshttps://moodle.uni-kassel.de/course/view.php?id=10633

 

Laboratory Theorem Proving

Scope: 4 SWS
Lecturer : Prof. Dr. Martin Lange, Lars-Eric Marquardt
Target group: Bachelor Computer Science
Moodlekurshttps://moodle.uni-kassel.de/course/view.php?id=10634

 

Oberseminar "Theoretical Computer Science