[Termtools] Termination and Complexity Competition 2020: Second Call for Participation (Deadline June 19)

[Juergen Giesl]

*Termination and Complexity Competition 2020*

  http://www.termination-portal.org/wiki/Termination_Competition_2020

*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 to IJCAR 2020 (https://ijcar2020.org/).
The competition will be run on the StarExec platform (
https://www.starexec.org/) shortly before 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:
http://www.termination-portal.org/wiki/Termination_Competition_2020


*Important dates*

   - Tool and Problem Submission: June 19, 2020
   - First Run: June 20, 2020
   - Bug/Conflict Report Deadline: June 25, 2020
   - Bugfix Deadline: June 28, 2020
   - Presentation of Results: July 4, 2020
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20200615/a0917d1c/attachment-0001.htm>