Summer semester 2024

Automata, games, logics

Scope: 4 SWS
Lecturers: Prof. Dr. Martin Lange
Target group: Master of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=12606

Formal languages and logic

Scope: 4 SWS
Lecturers : Prof. Dr. Martin Lange
Target group : Bachelor Computer Science
Moodle course : https://moodle.uni-kassel.de/course/view.php?id=12607

Laboratory compiler construction

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

Efficient problem solving methods for AI

Scope: 2+2 SWS
Lecturer : Dr. Florian Bruse
Target group : Bachelor Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=12615

Seminar at FG TI/FM

Scope: 2 SWS
Lecturer: Prof. Dr. Martin Lange, Dr. Norbert Hundeshagen, Dr. Florian Bruse, MSc. Marco Sälzer
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=12609

Advanced seminar "Theoretical computer science"