Symbol Kategorie

WiSe 2024/25

Reiter

Kurse

Kurs

Advanced Competitive Programming

Hauptseminar, ACP, 2 SWS, Deutsch
Anmeldungszeitraum: Keine Anmeldung möglich  
Maximale Teilnehmeranzahl:12   Freie Plätze: 2   Aufnahmeanträge/Warteliste: 15  
Verfügbarkeit: 1. Okt 2024, 00:00 - 29. Sep 2025, 23:55  
Do 10:15 - 11:45  
Paul Wild  
Winter 2024/25: | | » campo  
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.  
Kurs

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…
Mi 18:15 - 19:45 | Do 10:15 - 11:45  
Winter 2024/25: | | » campo  
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.  
Kurs

Formale Verifikation

Vorlesung mit Übung, FV, 4 SWS, Deutsch oder Englisch
Anmeldungszeitraum: Keine Anmeldung möglich  
Maximale Teilnehmeranzahl:20   Freie Plätze: 0   Aufnahmeanträge/Warteliste: 95  
Mo 14:15 - 15:45 | Mi 14:15 - 15:45  
Paul Wild  
Winter 2024/25: | | » campo  
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.  
Kurs

Grundlagen der Logik in der Informatik

Vorlesung, GLoIn, 2 SWS, Deutsch
Anmeldungsende: 31. Dez 2025, 00:00  
Veranstaltungszeitraum: 1. Okt 2024 - 31. Mär 2025  
Verfügbarkeit: 1. Sep 2024, 00:00 - 31. Dez 2025, 00:00  
Mi 12:15 - 13:45  
Lutz Schröder  
Winter 2024/25: | | » campo  
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.  
Kurs

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 | Einzelveranstaltung, Di 11:15 - 12:45, 25. Mär 2025 | Einzelve…  
Thorsten Wißmann  
Winter 2024/25: | | » campo  
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.  
Kurs

Kommunikation und Parallele Prozesse

Vorlesung mit Übung, KommPar, 4 SWS, Deutsch
Anmeldungszeitraum: Keine Anmeldung möglich  
Verfügbarkeit: 1. Sep 2024, 00:00 - 31. Dez 2025, 00:00  
Mo 16:15 - 17:45 | Do 12:15 - 13:45  
Lutz Schröder  
Winter 2024/25: | | » campo  
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.  
Kurs

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.
Do 16:15 - 17:45  
Lutz Schröder | Stefan Milius  
Winter 2024/25: | » campo  
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.  
Kurs

Seminar Theoretische Informatik

Hauptseminar, ThInfSem, 2 SWS, Deutsch
Status: Offline  
Anmeldungszeitraum: Keine Anmeldung möglich  
Veranstaltungszeitraum: 1. Sep 2024 - 31. Mär 2025  
Verfügbarkeit: 1. Sep 2024, 00:00 - 31. Mär 2025, 00:00  
Di 14:00 - 16:00  
Lutz Schröder  
Winter 2024/25: | | » campo  
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.  
Kurs

Themen der Kategorientheorie

Hauptseminar, TopCat, 2 SWS, Deutsch; Prof. Dr. Stefan Milius, Di 10:15 - 11:45, 02.133-113 (Martenstr. 3)
Anmeldungszeitraum: Keine Anmeldung möglich  
Maximale Teilnehmeranzahl:21   Freie Plätze: 7  
Di 10:15 - 11:45  
Stefan Milius  
Winter 2024/25: | | » campo  
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.  
Kurs

Übungen zu Grundlagen der Logik in der Informatik

Übung, UeGLoIn
Winter 2024/25: | | » campo  
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.