Aktuelle Veranstaltungen
-
Datum
03.04.2023 Veranstaltung
Gastvortrag: Mahsa Shirmohammadi: Stochastic games and strategy complexity -
Datum
05.04.2023 Veranstaltung
Bi-Weekly Talk: Michael Scholkemper -
Datum
06.04.2023 Veranstaltung
Ringvorlesung: Michael Schaub: Learning from Networks with Unobserved Edges -
Datum
13.04.2023 Veranstaltung
Ringvorlesung: Erika Àbrahám: Building Bridges between Symbolic Computation and Satisfiability Checking -
Datum
19.04.2023 Veranstaltung
Bi-Weekly Talk: Komal Muluk -
Datum
20.04.2023 Veranstaltung
Ringvorlesung: Martin Grohe: The Quest for a Logic Capturing PTIME -
Datum
27.04.2023 Veranstaltung
Ringvorlesung: Christina Büsing: Robust Strategic Planning for Mobile Medical Units -
Datum
03.05.2023 Veranstaltung
Bi-Weekly Talk: Tabea Brandt -
Datum
04.05.2023 Veranstaltung
Ringvorlesung: Sebastian Trimpe: Event-Triggered Learning -
Datum
11.05.2023 Veranstaltung
Ringvorlesung: Nils Nießen: Can Trains Be on Time? -
Datum
17.05.2023 Veranstaltung
Bi-Weekly Meeting: Carolina Gerlach -
Datum
25.05.2023 Veranstaltung
Ringvorlesung: Jürgen Giesl: Proving Termination with Dependency Pairs -
Datum
31.05.2023 Veranstaltung
Bi-Weekly Meeting: Research Speed Dating -
Datum
14.06.2023 Veranstaltung
Bi-Weekly Talk: Eleanore Meyer -
Datum
15.06.2023 Veranstaltung
Ringvorlesung: Britta Peis: Ascending Auctions and Matroids -
Datum
22.06.2023 Veranstaltung
Ringvorlesung: Gerhard Lakemeyer: The Situation Calculus as Lingua Franca for Reasoning about Action -
Datum
28.06.2023 Veranstaltung
Bi-Weekly Talk: Andreas Klinger -
Datum
29.06.2023 Veranstaltung
Ringvorlesung: Christopher Morris: Weisfeiler and Leman Go Machine Learning: Expressivity and Generalization of Graph Neural Networks -
Datum
12.07.2023 Veranstaltung
Bi-Weekly Talk: Dennis Fischer -
Datum
13.07.2023 Veranstaltung
Ringvorlesung: Joost-Pieter Katoen: Can we meet the deadline? Most probably: yes! -
Datum
11.10.2023 Veranstaltung
Bi-Weekly Talk: Mariia Anapolska -
Datum
25.10.2023 Veranstaltung
Bi-Weekly Talk: Tim Seppelt -
Datum
08.11.2023 Veranstaltung
Bi-Weekly Talk: Christoph Standke -
Datum
22.11.2023 Veranstaltung
Bi-Weekly Talk: Eran Rosenbluth -
Datum
06.12.2023 Veranstaltung
Bi-Weekly Meeting: Research Speed Dating Christmas Edition -
Datum
10.01.2024 Veranstaltung
Bi-Weekly Talk: Tobias Winkler -
Datum
24.01.2024 Veranstaltung
Bi-Weekly Talk: Jasper Nalbach -
Datum
07.02.2024 Veranstaltung
Bi-Weekly Talk: Katharina Eickhoff