Course Details

Back

K1102-MA0040V Foundations of Certified Programming Languages and Compiler Design (L)

Instructors: Prof. Dr.-Ing. Jerónimo Castrillón Mazo
Event type: Lecture
Org-unit: Faculty of Computer Science
Hours per week: 2
Language of instruction: German/English

Literature

Appointments
Date From To Room Instructors
1 Tue, 12. Oct. 2021 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
2 Tue, 19. Oct. 2021 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
3 Tue, 26. Oct. 2021 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
4 Tue, 2. Nov. 2021 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
5 Tue, 9. Nov. 2021 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
6 Tue, 16. Nov. 2021 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
7 Tue, 23. Nov. 2021 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
8 Tue, 30. Nov. 2021 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
9 Tue, 7. Dec. 2021 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
10 Tue, 14. Dec. 2021 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
11 Tue, 21. Dec. 2021 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
12 Tue, 11. Jan. 2022 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
13 Tue, 18. Jan. 2022 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
14 Tue, 25. Jan. 2022 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo
15 Tue, 1. Feb. 2022 09:20 10:50 APB/E010 Prof. Dr.-Ing. Jerónimo Castrillón Mazo

Class session overview

  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15

Instructors
  • Prof. Dr.-Ing. Jerónimo Castrillón Mazo