Foundations of Certified Programming Language and Compiler Design
Winter Semester 2026/2027
Information
| Time slot (lecture) | Tuesday at 9:20 - 10:50 a.m. |
| Time slot (exercise) | Thursday at 1:00 - 2:30 p.m. |
| Location | Faculty of Computer Science, TU Dresden |
| Room (lecture) | APB/E001/U |
| Room (exercise) | APB/E006/U |
News
| 7.10.2026 | Dear students, Please note that the lecture starts only on the 20th of October 2026. |