- Carlos Areces, Diana Costa 0001, editors, Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers. Volume 13780 of Lecture Notes in Computer Science, Springer, 2023.