Dear all,
the conversion to the new ARI format is done for all first-order TRS/SRS
categories [1]. The tool to convert back and forth between XTC and ARI
is available here [2] (note that you have to use the branch xtc, not the
master branch). Some documentation for the new format is available here
[3]. If you have suggestions to improve it, please let me know.
Regarding valid identifiers, there might be (hopefully minimal) changes
in the (near) future. In particular, the question which identifiers
should be quoted is not entirely settled. If you're interested, please
participate in the corresponding discussion on Github [4].
Nevertheless, I think the current version is good enough to start
testing. Let me know if you run into any problems.
Best
Florian
[1] https://github.com/TermCOMP/TPDB-ARI
[2] https://github.com/TermCOMP/ari-conversion/tree/xtc
[3] https://termination-portal.org/wiki/Term_Rewriting
[4]
https://github.com/orgs/TermCOMP/discussions/83#discussioncomment-8676014
*Termination and Complexity Competition 2024*
http://www.termination-portal.org/wiki/Termination_Competition_2024
*Call for Participation*
Since the beginning of the millennium, many research groups developed
tools for fully automated termination and complexity analysis.
After a tool demonstration at the 2003 Termination Workshop in Valencia,
the community decided to start an annual termination competition to spur
the development of tools and termination techniques.
The termination and complexity competition focuses on automated
termination and complexity analysis for all kinds of programming
paradigms, including categories for term rewriting, imperative
programming, logic programming, and functional programming. In all
categories, we also welcome the participation of tools providing
certifiable proofs. The goal of the termination and complexity
competition is to demonstrate the power of the leading tools in each of
these areas.
The competition will be affiliated with the International Joint
Conference on Automated Reasoning (IJCAR 2024,
https://merz.gitlabpages.inria.fr/2024-ijcar/). It will be run on the
StarExec platform (https://www.starexec.org/). The final run and a
presentation of the final results will be live at IJCAR.
We strongly encourage all developers of termination and complexity
analysis tools to participate in the competition. We also welcome the
submission of termination and complexity problems, especially problems
that come from applications.
A category is only run in the competition if there are at least 2
participants and at least 40 examples for this category in the
underlying termination problem data base. If there is no category that
is convenient for your tool, you can contact the organizers, since other
categories can be considered as well if enough participants are guaranteed.
For further information, we refer to the website of the termination and
complexity competition:
https://termination-portal.org/wiki/Termination_Competition_2024
<https://termination-portal.org/wiki/Termination_Competition_2024>
_Important dates_
* Tool and Benchmark Submission: June 12, 2024
* First Run: June 19, 2024
* Bugfix Deadline: June 26, 2024
* IJCAR: July 3-6, 2024