Dear all,

this is a reminder for Nils Nießen's talk with the title "Can Trains Be on Time?" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below

--- Abstract ---
Why are trains always delayed and how is a delay defined at all? In the
talk "Can trains be on time", the influences and conditions in the
occurrence of delays in the railway system will be discussed. The
distribution of buffer times has an influence on the propagation of
delays. Using a two-train model, the mechanisms of delay propagation are
derived. Approaches to increase punctuality and capacity are shown.
----------------

Part of the programme of the research training group UnRAVeL is a series of lectures on the topics of UnRAVeL’s research thrusts algorithms and complexity, verification, logic and languages, and their application scenarios. Each lecture is given by one of the researchers involved in UnRAVeL.

This years topic is "Biggest Milestones - Research at Its Peak", UnRAVeL professors will present the most important milestone of their respective research.

All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2023 and engage in discussions with researchers and doctoral students.

Next week is no talk so that the next one will be held on the 25th May. Here, Jürgen Giesl is going to talk about "Proving Termination with Dependency Pairs".
We are looking forward to seeing you at the lectures.
Kind regards,
Jan-Christoph for the organisation committee