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
_______________________________________________
Termtools mailing list -- termtools@lists.rwth-aachen.de
To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de