Veranstaltungen
-
Datum
03.04.2023 Veranstaltung
UnRAVeL-Gastvortrag: Mahsa Shirmohammadi: Stochastic games and strategy complexity -
Datum
05.04.2023 Veranstaltung
Mobilität und Wasserstoff: Klimaneutrale Antriebstechnologien für jeden Anwendungsfall -
Datum
06.04.2023 Veranstaltung
UnRAVeL-Ringvorlesung: Michael Schaub: Learning from Networks with Unobserved Edges -
Datum
13.04.2023 Veranstaltung
UnRAVeL-Ringvorlesung: Erika Àbrahám: Building Bridges between Symbolic Computation and Satisfiability Checking -
Datum
20.04.2023 Veranstaltung
UnRAVeL-Ringvorlesung: Martin Grohe: The Quest for a Logic Capturing PTIME -
Datum
27.04.2023 Veranstaltung
UnRAVeL-Ringvorlesung: Christina Büsing: Robust Strategic Planning for Mobile Medical Units -
Datum
04.05.2023 Veranstaltung
UnRAVeL-Ringvorlesung: Sebastian Trimpe: Event-Triggered Learning -
Datum
04.05.2023 Veranstaltung
Informatik Oberseminar: Automatic Test Case Generation for PLC Software -
Datum
10.05.2023 Veranstaltung
Ein Käfer für die Windenergie: Kleinwindenergieanlagen als demokratischer Baustein der Energiewende -
Datum
11.05.2023 Veranstaltung
UnRAVeL-Ringvorlesung: Nils Nießen: Can Trains Be on Time? -
Datum
25.05.2023 Veranstaltung
UnRAVeL-Ringvorlesung: Jürgen Giesl: Proving Termination with Dependency Pairs -
Datum
14.06.2023 Veranstaltung
Was bedeutet ChatGPT? -
Datum
15.06.2023 Veranstaltung
UnRAVeL-Ringvorlesung: Britta Peis: Ascending Auctions and Matroids -
Datum
22.06.2023 Veranstaltung
UnRAVeL-Ringvorlesung: Gerhard Lakemeyer: The Situation Calculus as Lingua Franca for Reasoning about Action -
Datum
29.06.2023 Veranstaltung
UnRAVeL-Ringvorlesung: Christopher Morris: Weisfeiler and Leman Go Machine Learning: Expressivity and Generalization of Graph Neural Networks -
Datum
13.07.2023 Veranstaltung
UnRAVeL-Ringvorlesung: Joost-Pieter Katoen: Can we meet the deadline? Most probably: yes!