- Antonio Cerone, editor, Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures. Volume 13490 of Lecture Notes in Computer Science, Springer, 2023.
- Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa, editors, Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings. Volume 14446 of Lecture Notes in Computer Science, Springer, 2023.