Course Details

Back

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

Instructors: Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
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 Th, 13. Oct. 2022 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
2 Th, 20. Oct. 2022 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
3 Th, 27. Oct. 2022 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
4 Th, 3. Nov. 2022 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
5 Th, 10. Nov. 2022 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
6 Th, 17. Nov. 2022 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
7 Th, 24. Nov. 2022 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
8 Th, 1. Dec. 2022 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
9 Th, 8. Dec. 2022 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
10 Th, 15. Dec. 2022 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
11 Th, 5. Jan. 2023 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
12 Th, 12. Jan. 2023 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
13 Th, 19. Jan. 2023 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
14 Th, 26. Jan. 2023 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel
15 Th, 2. Feb. 2023 13:00 14:30 APB/E006 Prof. Dr.-Ing. Jerónimo Castrillón Mazo; Sebastian Ertel

Class session overview

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

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