ICGT 2023
Wed 19 - Thu 20 July 2023 Leicester, United Kingdom
co-located with STAF 2023

The ICGT’23 proceedings have been published as volume 13961 of Springer’s Lecture Notes in Computer Science series.

Furthermore, six of the articles have been extended and published in a Special Issue of LMCS (Logical Methods in Computer Science):