The DFG has granted the RTG 2236 UnRAVeL (Uncertainty and Randomness in Algorithms, Verification and Logic) an extension to 2026. The research training group has been granted 12 PhD positions as well as 10 student-assistant position to continue our research. The second phase of UnRAVeL involves 12 PIs from CS, Mechanical Engineering, Business Economics, and Railway Engineering.