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 |
The website for the Winter semester 2026/27 is now online. Please find all necessary information here.