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 "Highlights of UnRAVeL!". As UnRAVeL nears its conclusion, we take this opportunity to reflect on seven years of excellent research. Through nine talks, we invite you to experience the scientific highlights of our RTG, along with its numerous successes, developments, and collaborations. All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2025 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 first lecture (tomorrow) is given by Erika Ábrahám about "SMT: Something You Must Try“! -------------------- SMT (Satisfiability Modulo Theories) solving is a technology for the fully automated solution of logical formulas. SMT solvers are general-purpose off-the-shelf solvers, which can be integrated in diverse systems. Due to their impressive efficiency, SMT solvers are nowadays frequently used in a wide variety of applications, including the analysis of probabilistic systems. A typical application encodes real-world problems as logical formulas, whose solutions can be decoded to solutions of the real-world problem. In this talk we give some insights into the mechanisms of SMT solving, discuss some applications in the context of probabilistic systems, and review our own research activities in this area. -------------------- The overall schedule is as following: 17.04.2025 - Erika Ábrahám - SMT: Something You Must Try 24.04.2025 - Jürgen Giesl - Termination and Complexity Analysis: From Classical to Probabilistic Programs 08.05.2025 - Nils Nießen - Uncertainty in Railways 15.05.2025 - Joost-Pieter Katoen - Verification Conquers Fault Tree Analysis: From Theory to Start-Up 22.05.2025 - Britta Peis - On Train Routing and Length-bounded Disjoint Paths 26.06.2025 - Michael Schaub - Oversmoothing in Graph Neural Networks 03.07.2025 - Sebastian Trimpe - Uncertainty in Learning and Control 10.07.2025 - Christopher Morris - Exploring the Power of Graph Neural Networks in Solving Optimization Problems 17.07.2025 - Christina Büsing - Dealing with Uncertainty Inspired by Health Care – a Robust Optimization Approach Kind regards, Jan-Christoph for the organisation committee