Course Details

Back

K1101-MA0021S Seminar Selected Topics in Logic and Verification (S)

Instructors: Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
Event type: Seminar
Org-unit: Faculty of Computer Science
Hours per week: 2
Language of instruction: English
Webseite: https://tu-dresden.de/ing/informatik/thi/alg/studium/lehrveranstaltungen/summer-term-2021/seminar

Literature

Appointments
Date From To Room Instructors
1 Fri, 16. Apr. 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
2 Fri, 23. Apr. 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
3 Fri, 30. Apr. 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
4 Fri, 7. May 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
5 Fri, 14. May 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
6 Fri, 21. May 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
7 Fri, 4. Jun. 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
8 Fri, 11. Jun. 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
9 Fri, 18. Jun. 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
10 Fri, 25. Jun. 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
11 Fri, 2. Jul. 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
12 Fri, 9. Jul. 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
13 Fri, 16. Jul. 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
14 Fri, 23. Jul. 2021 11:10 12:40 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz

Class session overview

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

Instructors
  • Dr.-Ing. Sascha Klüppelholz
  • Prof. Dr. rer. nat. Christine Baier