Campo Courses: Winter 2022/23
These courses were created automatically. They can be moved to suitable places.
Tabs
Courses
Advanced Competitive Programming
Seminar, ACP, 2 SWS, Deutsch
Status: Offline
Registration Period: No Registration Possible
Maximum participants:14 Free Places: 4 Subscribers/Waiting list: 2
Availability: 1. Oct 2022, 00:00 - 30. Sep 2023, 23:55
Winter 2022/23: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Registration Period: No Registration Possible
Maximum participants:14 Free Places: 4 Subscribers/Waiting list: 2
Availability: 1. Oct 2022, 00:00 - 30. Sep 2023, 23:55
Winter 2022/23: | | » 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, English
Registration Period: No Registration Possible
Winter 2022/23: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Winter 2022/23: | | » 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
Status: Offline
Period of Event: 17. Oct 2022 - 15. Apr 2023
Availability: 1. Sep 2022, 11:20 - 31. Dec 2023, 11:20
Winter 2022/23: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Period of Event: 17. Oct 2022 - 15. Apr 2023
Availability: 1. Sep 2022, 11:20 - 31. Dec 2023, 11:20
Winter 2022/23: | | » 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
Winter 2022/23:
|
| » 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.
Kommunikation und Parallele Prozesse
Vorlesung mit Übung, KommPar, 4 SWS, Deutsch
Status: Offline
Registration Period: No Registration Possible
Period of Event: 17. Oct 2022 - 31. Mar 2023
Availability: 1. Sep 2022, 00:00 - 30. Sep 2023, 00:00
Winter 2022/23: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Registration Period: No Registration Possible
Period of Event: 17. Oct 2022 - 31. Mar 2023
Availability: 1. Sep 2022, 00:00 - 30. Sep 2023, 00:00
Winter 2022/23: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Seminar Theoretische Informatik
Hauptseminar, ThInfSem, 2 SWS, Deutsch
Winter 2022/23:
|
| » 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.
Themen der Kategorientheorie
Seminar, TopCat, 2 SWS, Deutsch, Mi 10.15-11:45, 00.131-128 (Cauerstr. 11)
Registration Period: No Registration Possible
Winter 2022/23: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Winter 2022/23: | | » 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
Registration Period: No Registration Possible
Winter 2022/23: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Winter 2022/23: | | » campo
To access this item you need to be logged in and to have appropriate permissions.