Termtools Juli 2023

termtools@lists.rwth-aachen.de

2 Teilnehmer
3 Diskussionen

von YAMADA, Akihisa

Dear certified category participants, sorry to be late, I've uploaded post-processor ceta-2.45 with id=780. Please use it if you want to test (though, as before, I expect to have problems in the first run). Best, Akihisa

9 Monate, 1 Woche

termCOMP 2023 registration

von YAMADA, Akihisa

Dear all, please register your tools by editing Y2023/info.php of https://github.com/TermCOMP/starexec-master/ by August 6. The registration status can be monitored here: https://termcomp.herokuapp.com/Y2023/ Best, Akihisa

9 Monate, 2 Wochen

Termination and Complexity Competition 2023: Second Call for

von Juergen Giesl

*Termination and Complexity Competition 2023* http://www.termination-portal.org/wiki/Termination_Competition_2023 *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 19th International Workshop on Termination (WST 2023, https://termination-portal.org/wiki/WST2023). 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 WST. 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_2023 *Important dates* - Tool and Benchmark Submission: August 6, 2023 - First Run: August 13, 2023 - Bugfix Deadline: August 20, 2023 - Final Run: August 24, 2023 - WST: August 24-25, 2023

9 Monate, 2 Wochen

2024

2023

2022

2021

2020

Termtools Juli 2023