DaLí 2025: The 6th Workshop on Dynamic Logic - New Trends and Applications

October 20-21, 2025 | Shaanxi Normal University, Xi'an, Shaanxi Province, P. R. China

Program

Please note: For each talk, the allocated slot time = presentation duration + at least 5 mins of Q & A. (This rule skips the opening session for sure.)