[SMT-LIB] Termination Competition 2011: Call for Participation

[Carsten Fuhs]

                 Termination Competition 2011
                         May 30 - June 1

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


                    Call for Participation

During the 90s a number of new, powerful termination methods was
developed. Thus, at the beginning of the millennium many research
groups started to develop 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 certified termination analysis and for
automated complexity analysis. 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 RTA conference
(http://www.rdp2011.uns.ac.rs/rta). The results of the competition
will be presented as part of the RTA 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:   May 13 2011

Problem submission:  May 27 2011, 12:01 CET

Tool submission:     May 27 2011, 12:01 CET

Competition start:   May 30 2011