Tabs
Courses
Advanced Competitive Programming
Hauptseminar, ACP, 2 SWS, Deutsch
Registration Period: No Registration Possible
Maximum participants:12 Free Places: 2 Subscribers/Waiting list: 15
Availability: 1. Oct 2024, 00:00 - 29. Sep 2025, 23:55
Th 10:15 - 11:45
Paul Wild
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Maximum participants:12 Free Places: 2 Subscribers/Waiting list: 15
Availability: 1. Oct 2024, 00:00 - 29. Sep 2025, 23:55
Th 10:15 - 11:45
Paul Wild
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Advanced Mechanized Reasoning in Coq
Vorlesung mit Übung, AMeRiCo, 4 SWS. Since so far not enough students have subscribed, showed up or declared interest, the lecture is not happening in the first teaching week. If more people subscribe on StudOn, the lecture might begin in the second teachi…
We 18:15 - 19:45 | Th 10:15 - 11:45
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Formale Verifikation
Vorlesung mit Übung, FV, 4 SWS, Deutsch oder Englisch
Registration Period: No Registration Possible
Maximum participants:20 Free Places: 0 Subscribers/Waiting list: 95
Mo 14:15 - 15:45 | We 14:15 - 15:45
Paul Wild
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Maximum participants:20 Free Places: 0 Subscribers/Waiting list: 95
Mo 14:15 - 15:45 | We 14:15 - 15:45
Paul Wild
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Grundlagen der Logik in der Informatik
Vorlesung, GLoIn, 2 SWS, Deutsch
Registration End: 31. Dec 2025, 00:00
Period of Event: 1. Oct 2024 - 31. Mar 2025
Availability: 1. Sep 2024, 00:00 - 31. Dec 2025, 00:00
We 12:15 - 13:45
Lutz Schröder
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Period of Event: 1. Oct 2024 - 31. Mar 2025
Availability: 1. Sep 2024, 00:00 - 31. Dec 2025, 00:00
We 12:15 - 13:45
Lutz Schröder
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Intensivübung zu Grundlagen der Logik in der Informatik
Übung, InUeGLoIn, 2 SWS, Deutsch - Fr 14-16 @ 02.134-113
Fr 14:15 - 15:45 | Fr 14:15 - 15:45 | Single event, Tu 11:15 - 12:45, 25. Mar 2025 | Single event, M…
Thorsten Wißmann
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Thorsten Wißmann
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Kommunikation und Parallele Prozesse
Vorlesung mit Übung, KommPar, 4 SWS, Deutsch
Registration Period: No Registration Possible
Availability: 1. Sep 2024, 00:00 - 31. Dec 2025, 00:00
Mo 16:15 - 17:45 | Th 12:15 - 13:45
Lutz Schröder
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Availability: 1. Sep 2024, 00:00 - 31. Dec 2025, 00:00
Mo 16:15 - 17:45 | Th 12:15 - 13:45
Lutz Schröder
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Seminar Curry-Howard Korrespondenz
Seminar, SemCurry, 2 SWS. The most up-to-date time slots are in Campo, StudOn reflects them with some delay. Furthermore, it might be possible to adjust them, depending on the number of students and their respective schedules.
Th 16:15 - 17:45
Lutz Schröder | Stefan Milius
Winter 2024/25: | » campo
To access this item you need to be logged in and to have appropriate permissions.
Lutz Schröder | Stefan Milius
Winter 2024/25: | » campo
To access this item you need to be logged in and to have appropriate permissions.
Seminar Theoretische Informatik
Hauptseminar, ThInfSem, 2 SWS, Deutsch
Status: Offline
Registration Period: No Registration Possible
Period of Event: 1. Sep 2024 - 31. Mar 2025
Availability: 1. Sep 2024, 00:00 - 31. Mar 2025, 00:00
Tu 14:00 - 16:00
Lutz Schröder
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Registration Period: No Registration Possible
Period of Event: 1. Sep 2024 - 31. Mar 2025
Availability: 1. Sep 2024, 00:00 - 31. Mar 2025, 00:00
Tu 14:00 - 16:00
Lutz Schröder
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Themen der Kategorientheorie
Hauptseminar, TopCat, 2 SWS, Deutsch;
Prof. Dr. Stefan Milius, Di 10:15 - 11:45, 02.133-113 (Martenstr. 3)
Registration Period: No Registration Possible
Maximum participants:21 Free Places: 7
Tu 10:15 - 11:45
Stefan Milius
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Maximum participants:21 Free Places: 7
Tu 10:15 - 11:45
Stefan Milius
Winter 2024/25: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Übungen zu Grundlagen der Logik in der Informatik
Übung, UeGLoIn
Winter 2024/25:
|
| » campo
To access this item you need to be logged in and to have appropriate permissions.
To access this item you need to be logged in and to have appropriate permissions.