Dear all,
the final result of termCOMP 2023 is saved at: https://termcomp.github.io/Y2023/ and the previous url is deactivated.
This should be the last announcement from me as the organizer/SC chair. As approved at WST, Florian will do the job from next year :)
Best regards, Akihisa