Interactive Theorem Proving
- Type: Praktikum (P)
- Chair: IPD Erdweg
- Semester: SS 2026
-
Time:
Wed 2026-04-22
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-04-29
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-05-06
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-05-13
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-05-20
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-06-03
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-06-10
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-06-17
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-06-24
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-07-01
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-07-08
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-07-15
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-07-22
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Wed 2026-07-29
09:45 - 11:15, weekly
50.34 Raum -119 (UG)
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
-
Lecturer:
Prof. Dr. Sebastian Erdweg
Runqing Xu
Mohamad Bitar
Armand Louis Claude Lego - SWS: 2
- Lv-No.: 2400216
- Information: On-Site
Links
| Language of instruction | English |