Dear all,
Salvador proposed a new category "TRS Conditional (Termination)" (previous "TRS Conditional" will be called "TRS Conditional (Operational Termination)"). The benchmark set will be the same "TRS_Conditional".
Carsten proposed "Runtime Complexity: TRS Parallel Innermost". The benchmark set will be "Runtime_Complexity_Innermost_Rewriting".
Thanks for the proposals!
... but in general, please post proposals to this list, so that potential future participants can know.
Best, Akihisa
On 6/17/2022 12:01 PM, YAMADA, Akihisa wrote:
Dear all,
the GitHub repository is ready for termCOMP 2022 registration: https://github.com/TermCOMP/starexec-master
I hope the instruction there is clear enough. Please post questions on this list otherwise.
You can monitor the status of registration and run at http://termcomp.github.io/Y2022/
Best, Akihisa