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