Dear all,


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.
This is not only about outstanding or astonishing results for the respective community, but also about their very own scientific milestones, for example a paper or result that the presenter particularly likes and is very proud of.

We get answers to the following questions:
  • Which of their papers/results would never be allowed to be deleted if they could keep just one?
  • Which paper/result had the greatest influence, on science or on themselfs?
  • Why and in what context is it a milestone?
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.
All events take place on Thursdays 12:30 to 14:00, Computer Science Center, Building E2, ground floor, B-IT room 5053.2. The schedule is as following:
  • 06.04. Michael Schaub - Learning from Networks with Unobserved Edges
  • 13.04. Erika Ábrahám - Building Bridges between Symbolic Computation and Satisfiability Checking
  • 20.04. Martin Grohe - The Quest for a Logic Capturing PTIME
  • 27.04. Christina Büsing - Robust Strategic Planning for Mobile Medical Units
  • 04.05. Sebastian Trimpe - Event-Triggered Learning
  • 11.05. Nils Nießen - Can Trains Be on Time?
  • 25.05. Jürgen Giesl - Proving Termination with Dependency Pairs
  • 15.06. Britta Peis - Ascending Auctions and Matroids
  • 22.06. Gerhard Lakemeyer - The Situation Calculus as Lingua Franca for Reasoning about Action
  • 29.06. Christopher Morris - Weisfeiler and Leman Go Machine Learning: Expressivity and Generalization of Graph Neural Networks
  • 13.07. Joost-Pieter Katoen - Can we meet the deadline? Most probably: yes
We are looking forward to seeing you at the lectures.
Kind regards,
Jan-Christoph for the organisation committee