Upcoming Events
-
Date
21/03/2023 Event
Guest Talk: Marck van der Vegt: Robust Almost-Sure Reachability in Multi-Environment MDPs -
Date
22/03/2023 Event
Bi-Weekly Talk: Christoph Grüne: The Complexity of Graph Exploration Games -
Date
03/04/2023 Event
Guest Talk: Mahsa Shirmohammadi: Stochastic games and strategy complexity -
Date
05/04/2023 Event
Bi-Weekly Talk: Michael Scholkemper -
Date
06/04/2023 Event
Ringvorlesung: Michael Schaub: Learning from Networks with Unobserved Edges -
Date
13/04/2023 Event
Ringvorlesung: Erika Àbrahám: Building Bridges between Symbolic Computation and Satisfiability Checking -
Date
19/04/2023 Event
Bi-Weekly Talk: Komal Muluk -
Date
20/04/2023 Event
Ringvorlesung: Martin Grohe: The Quest for a Logic Capturing PTIME -
Date
27/04/2023 Event
Ringvorlesung: Christina Büsing: Robust Strategic Planning for Mobile Medical Units -
Date
03/05/2023 Event
Bi-Weekly Talk: Tabea Brandt -
Date
04/05/2023 Event
Ringvorlesung: Sebastian Trimpe: Event-Triggered Learning -
Date
11/05/2023 Event
Ringvorlesung: Nils Nießen: Can Trains Be on Time? -
Date
17/05/2023 Event
Bi-Weekly Meeting: Carolina Gerlach -
Date
25/05/2023 Event
Ringvorlesung: Jürgen Giesl: Proving Termination with Dependency Pairs -
Date
31/05/2023 Event
Bi-Weekly Meeting: Research Speed Dating -
Date
14/06/2023 Event
Bi-Weekly Talk: Eleanore Meyer -
Date
15/06/2023 Event
Ringvorlesung: Britta Peis: Ascending Auctions and Matroids -
Date
22/06/2023 Event
Ringvorlesung: Gerhard Lakemeyer: The Situation Calculus as Lingua Franca for Reasoning about Action -
Date
28/06/2023 Event
Bi-Weekly Talk: Andreas Klinger -
Date
29/06/2023 Event
Ringvorlesung: Christopher Morris: Weisfeiler and Leman Go Machine Learning: Expressivity and Generalization of Graph Neural Networks -
Date
12/07/2023 Event
Bi-Weekly Talk: Dennis Fischer -
Date
13/07/2023 Event
Ringvorlesung: Joost-Pieter Katoen: Can we meet the deadline? Most probably: yes! -
Date
11/10/2023 Event
Bi-Weekly Talk: Mariia Anapolska -
Date
25/10/2023 Event
Bi-Weekly Talk: Tim Seppelt -
Date
08/11/2023 Event
Bi-Weekly Talk: Christoph Standke -
Date
22/11/2023 Event
Bi-Weekly Talk: Eran Rosenbluth -
Date
06/12/2023 Event
Bi-Weekly Meeting: Research Speed Dating Christmas Edition -
Date
10/01/2024 Event
Bi-Weekly Talk: Tobias Winkler -
Date
24/01/2024 Event
Bi-Weekly Talk: Jasper Nalbach -
Date
07/02/2024 Event
Bi-Weekly Talk: Katharina Eickhoff