This website uses technically necessary cookies to offer the best possible functionality.

Further Information

Events

Showing 1 - 16 of 16 Results

Turn Page

Sie sind auf Seite:1-16

Date

Event
03/04/2023

UnRAVeL Guest Talk: Mahsa Shirmohammadi: Stochastic games and strategy complexity
05/04/2023

Mobility and Hydrogen: Climate-Neutral Drive Technologies for a Wide Range of Applications
06/04/2023

UnRAVeL Survey Lecture: Michael Schaub: Learning from Networks with Unobserved Edges
13/04/2023

UnRAVeL Survey Lecture: Erika Àbrahám: Building Bridges between Symbolic Computation and Satisfiability Checking
20/04/2023

UnRAVeL Survey Lecture: Martin Grohe: The Quest for a Logic Capturing PTIME
27/04/2023

UnRAVeL Survey Lecture: Christina Büsing: Robust Strategic Planning for Mobile Medical Units
04/05/2023

UnRAVeL Survey Lecture: Sebastian Trimpe: Event-Triggered LearningUnits
04/05/2023

Computer Science Graduate Seminar: Automatic Test Case Generation for PLC Software
10/05/2023

A bug for wind energy: Small wind turbines as a democratic building block of the energy transition
11/05/2023

UnRAVeL Survey Lecture: Nils Nießen: Can Trains Be on Time?
25/05/2023

UnRAVeL Survey Lecture: Jürgen Giesl: Proving Termination with Dependency Pairs
14/06/2023

What does ChatGPT mean?
15/06/2023

UnRAVeL Survey Lecture: Britta Peis: Ascending Auctions and Matroids
22/06/2023

UnRAVeL Survey Lecture: Gerhard Lakemeyer: The Situation Calculus as Lingua Franca for Reasoning about Action
29/06/2023

UnRAVeL Survey Lecture: Christopher Morris: Weisfeiler and Leman Go Machine Learning: Expressivity and Generalization of Graph Neural Networks
13/07/2023

UnRAVeL Survey Lecture: Joost-Pieter Katoen: Can we meet the deadline? Most probably: yes!

Turn Page

Sie sind auf Seite:1-16

RWTH

Contacts and Maps

Institutions

Services