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

Literature

Appointments
Date From To Room Instructors
1 Fri, 8. Apr. 2022 11:10 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
2 Fri, 22. Apr. 2022 11:10 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
3 Fri, 29. Apr. 2022 11:10 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
4 Fri, 6. May 2022 11:10 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
5 Fri, 13. May 2022 11:10 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
6 Fri, 20. May 2022 11:10 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
7 Fri, 27. May 2022 11:10 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
8 Fri, 3. Jun. 2022 11:10 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
9 Fri, 17. Jun. 2022 11:10 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
10 Fri, 24. Jun. 2022 11:10 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
11 Fri, 1. Jul. 2022 11:10 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
12 Fri, 8. Jul. 2022 11:10 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
13 Fri, 15. Jul. 2022 11:10 12:40 APB/E005 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
    •    

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