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 "UnRAVeL - New Ideas!". In these lectures, UnRAVeL professors will discuss current research as well as highlight open problems and offer a perspective on potential future directions.

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:

    11.04 - Joost-Pieter Katoen: Facing Uncertainty in AI: From Verification to Synthesis
    18.04 - Erika Ábrahám: Relating Stochastic Hybrid Petri Nets and Stochastic Hybrid Automata
    25.04 - Nils Nießen: Open (Research) Problems in Railways. What to do?
    02.05 - Jürgen Giesl: Termination and Complexity Analysis of (Probabilistic) Programs: Results and Future Work
    16.05 - Martin Grohe: The Complexity of Constraint Satisfaction
    06.06 - Sebastian Trimpe: Bayesian Optimization for High-Dimensional, Adaptive, and Safe Controller Learning
    13.06 - Christina Büsing: Robust Optimization in Health Care
    27.06 - Michael Schaub: How can algebraic topology help with data analysis?
    04.07 - Gerhard Lakemeyer: Challenges in Cognitive Robotics
    11.07 - Christopher Morris: Understanding the Generalization Abilities of Graph Neural Networks: Current Results and Future Directions
    18.07 - Britta Peis: Future Research in Submodular Function Optimization

We are looking forward to seeing you at the first lecture this Thursday!

Kind regards,
Jan-Christoph for the organisation committee