Dear all,
the final run is ready at: https://termcomp.herokuapp.com/Y2023/
I will start it in 15:30 CET tomorrow, i.e., the first break of WST. Demonstration categories will be after the competition.
Best, Akihisa
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
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
termtools@lists.rwth-aachen.de
-
Georg Moser -
Juergen Giesl -
YAMADA, Akihisa