[Termtools] Termination Competition 2012: Call for Participation

[Juergen Giesl]

                  Termination Competition 2012
                         June 26-29

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


                    Call for Participation

In the last years, many research groups developed tools for fully
automated termination 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 new termination
techniques.

The termination competition focuses on automated termination
analysis for all kinds of programming paradigms, including
categories for term rewriting, logic programming, functional
programming, and imperative programming. Moreover, there will
also be categories for automated complexity analysis. In all
categories, we also welcome the participation of tools providing
certified proofs. The goal of the termination competition is to
demonstrate the power of the leading tools in each of these areas.

The competition will take place "live" during the IJCAR conference
(http://ijcar.cs.manchester.ac.uk/). The results of the competition
will be presented as part of the IJCAR program. In every category, all
participating tools of that category are run on a randomly selected
subset of the available problems.

We strongly encourage all developers of termination tools to participate
in the competition. Moreover, tools are also encouraged to participate
in as many categories of the competition as possible.

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 problems,
especially problems that come from applications.


Important dates
---------------

Software requests:   June  1 2012, 13:01 CEST

Problem submission:  June 12 2012, 13:01 CEST

Tool submission:     June 19 2012, 13:01 CEST

Competition start:   June 26 2012, 10:00 CEST

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20120419/79811490/attachment.html>