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