Links: Moodle and Course Description
Important information:
-
Midterm exam date: 27.03.2026 at 13:05. You can prepare one reminder sheet (2 sided) that you can consule during the exam.
-
Please register for project groups on Moodle as soon as this is possible
-
The schedule for exercise sessions and lectures might change from week to week, please check the schedule below regularily.
The grade is based on a midterm (30%) as well as team project work (70%). Please read the grading policy page.
| Week | Labs | Day | Date | Time | Room | Topic | Materials | Notes |
|---|---|---|---|---|---|---|---|---|
| 1 | Wed | 18.02.2026 | 13:15 | CM2 | Lecture 1 | Intro to CLP (PDF), Formal languages (PDF) | ||
| Fri | 20.02.2025 | 13:15 | CM1 | Lecture 2 | Formal Languages and Regular Expressions (PDF). Videos: Operations on Formal Languages, Regular Expressions and Idea of a Lexer | |||
| 1..... | Fri | 20.02.2025 | 15:15 | CM1 | Lab 1 | Interpreter lab released (due in 2 weeks) | ||
| 2 | Wed | 25.02.2026 | 13:15 | CM2 | Lecture 3 | |||
| Fri | 27.02.2026 | 13:15 | CM1 | Exercise 1 | ||||
| 12.... | Fri | 27.02.2026 | 15:15 | CM1 | Lab 2 | |||
| 3 | Wed | 04.03.2026 | 13:15 | CM2 | Lecture 4 | |||
| Thu | 05.03.2026 | 13:15 | Lab 1 due at 23:59 | |||||
| Fri | 06.03.2026 | 13:15 | CM1 | Exercise 2 | ||||
| .23... | Fri | 06.03.2026 | 15:15 | CM1 | Lab 3 | |||
| 4 | Wed | 11.03.2026 | 13:15 | CM2 | Lecture 5 | |||
| Thu | 12.03.2026 | 13:15 | Lab 2 due at 23:59 | |||||
| Fri | 13.03.2026 | 13:15 | CM1 | Exercise 3 & Checkoffs on labs 1+2 | ||||
| ..3... | Fri | 13.03.2026 | 15:15 | CM1 | Exercise 3 & Checkoffs on labs 1+2 | |||
| 5 | Wed | 18.03.2026 | 13:15 | CM2 | Lecture 6 | |||
| Fri | 20.03.2026 | 13:15 | CM1 | Exercise 4 | ||||
| ..34.. | Fri | 20.03.2026 | 15:15 | CM1 | Lab 4 | Lab 3 due at 23:59 | ||
| 6 | Wed | 25.03.2026 | 13:15 | CM2 | Review exercises | |||
| Fri | 27.03.2026 | 13:15 | EXAM | |||||
| Fri | 27.03.2026 | 15:15 | EXAM | |||||
| 7 | ...4.. | Wed | 01.04.2026 | 13:15 | CM2 | Lab 4 | ||
| Fri | 03.04.2026 | 13:15 | Holiday | |||||
| Fri | 03.04.2026 | 15:15 | Holiday | |||||
| - | Wed | 08.04.2026 | 13:15 | Break | ||||
| Fri | 10.04.2026 | 13:15 | Break | |||||
| Fri | 10.04.2026 | 15:15 | Break |
Printed and online books can be helpful, even if our goal is for lectures, exercises, and project instructions to be self-contained.
| Professor | Viktor Kunčak |
| PhD TA | Samuel Chassot |
| MSc TA | Sidonie Bouthors |
| MSc TA | Léa Blancher |
| MSc TA | Charlie Mangano |
| MSc TA | Aslı Ünlüer |
| MSc TA | Richard Petre |