Interactive Theorem Proving
- Type: Praktikum (P)
- Chair: IPD Erdweg
- Semester: WS 26/27
-
Time:
Wed 2026-10-28
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2026-11-04
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2026-11-11
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2026-11-18
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2026-11-25
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2026-12-02
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2026-12-09
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2026-12-16
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2026-12-23
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2027-01-13
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2027-01-20
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2027-01-27
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2027-02-03
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2027-02-10
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Wed 2027-02-17
14:00 - 15:30, weekly
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
-
Lecturer:
Prof. Dr. Sebastian Erdweg
Benjamin Eli Lenox
Runqing Xu - SWS: 2
- Lv-No.: 2400264
- Information: On-Site
Links
| Language of instruction | English |