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,
Nils Nießen
is going to give a talk with the title "Can Trains Be on Time?"
We are looking forward to seeing you at the lectures.
Kind regards,
Jan-Christoph for the organisation committee