7 Aug
2022
7 Aug
'22
08:13
Dear all,
it turned out we don't have a live screen until IJCAR starts tomorrow. I'll start some big jobs (TRS/SRS Standard, Complexity) later today, and other categories tomorrow morning.
Best, Akihisa
On 8/6/2022 1:36 PM, YAMADA, Akihisa wrote:
Dear all,
Jobs are ready for the final run. https://termcomp.github.io/Y2022/
I'll start them tomorrow morning in Haifa time.
Best, Akihisa _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de