Dear all,

this is a reminder for Nils Nießen's talk on Acceptance of Driverless Trains taking place tomorrow at 16:30 in room 5053.2 and on Zoom. Please find the details below.

Digitalisation and automation are also making progress in rail transportation. In isolated networks, such as metros, trains can already run driverless today. The talk will highlight the opportunities and risks of driverless driving on rail.

A novel system can only be successfully implemented if it is also accepted by the users. One focus of the talk will therefore be the analysis of passenger acceptance of driverless rail transport.

Part of the programme of the research training group UnRAVeL is a series of introductory lectures on the topics of "randomness" and "uncertainty" in UnRAVeL’s research thrusts: Algorithms and complexity, verification, logic and languages, and their application scenarios. The main aim is to provide doctoral researchers as well as master students a broad overview of the subjects of UnRAVeL.

Science undergoes continuous change and lives from the constant quest for novel and better results, which are presented at conferences and in journals. This year, 10 UnRAVeL professors will present some of their most recent research successes.

Everyone interested, in particular doctoral researchers and master students, are invited to attend the UnRAVeL lecture series 2022 and engage in discussions with the researchers.

The talks take place on Tuesdays, 16:30–18:00 in room 5053.2 in the ground floor of building E2. All events are hybrid. To join remotely, please use https://rwth.zoom.us/j/96003885007?pwd=aUczMVdVU0ZXVGtQUFpwQnJHQUFhUT09 / Meeting ID: 960 0388 5007 / Passcode: 273710

Please find a list of all upcoming talks on the UnRAVeL website and below:

26/04/2022 Nils Nießen: Acceptance of Driverless Trains
03/05/2022 Jürgen Giesl: Improving Automatic Complexity Analysis of Probabilistic and Non-Probabilistic Integer Programs
10/05/2022 Martin Grohe: Graph Representations Based on Homomorphisms
17/05/2022 Christina Büsing: A Branch & Bound Algorithm for Robust Binary Optimization with Budget Uncertainty
24/05/2022 Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
21/06/2022 Sebastian Trimpe: Uncertainty Bounds for Gaussian Process Regression with Applications to Safe Control and Learning
28/06/2022 Britta Peis: Stackelberg Network Pricing Games
05/07/2022 Gerhard Lakemeyer: Tractable Reasoning in First-Order Knowledge Bases

We are looking forward to seeing many of you in the UnRAVeL survey lecture "What's New in UnRAVeL?".

Best regards,
Andreas Klinger, Birgit Willms, and Tim Seppelt