[Termtools] Termination and Complexity Competition 2017: Call for Participation

[Juergen Giesl]

*Termination and Complexity Competition 2017*
September 5 or 6

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

*Call for Participation*

In the last decade, 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 certified 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 part of the 2nd International Conference on Formal
Structures for Computation and Deduction (FSCD 2017) (
http://www.cs.ox.ac.uk/conferences/fscd2017/) and it will take place "live"
during the conference. The competition will be run on the StarExec platform
(http://www.starexec.org/).

In every category, all participating tools of that category are run on
a randomly selected subset of the available problems. A category is only
run if there are at least 2 participants and at least 40 examples for this
category in the underlying termination problem data base.

We strongly encourage all developers of termination and complexity
analysis tools to participate in the competition.

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.

We also encourage the submission of termination and complexity
problems, especially problems that come from applications.

For further information, we refer to the website of the termination and
complexity competition: http://www.termination-portal.org/
wiki/Termination_Competition_2017

<http://www.termination-portal.org/wiki/Termination_and_Complexity_Competition_2016>
*Important dates*

   - Tool Registration: July 31, 2017
   - Problem Submission: August 14, 2017
   - Updates of Registered Tools: August 21, 2017
   - Competition: September 5-6, 2017
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20170717/240d4e4f/attachment.html>