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