12 Sep
2023
12 Sep
'23
1:34 p.m.
Dear Akihisa, thank you very much for all your work for TermComp in all these years! And thanks to Florian for taking over! Best Regards Juergen Am Di., 12. Sept. 2023 um 10:53 Uhr schrieb YAMADA, Akihisa < ayamada@trs.cm.is.nagoya-u.ac.jp>:
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