[loginf] Termination Competition 2014: Second Call for Participation (Tool Registration Deadline on JUNE 15!)

Juergen Giesl giesl at informatik.rwth-aachen.de
Fri Jun 6 11:38:13 CEST 2014

*Termination Competition 2014*
July 15-20


*Call for Participation*
In the last decade, 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 termination techniques.

The termination competition focuses on automated termination analysis for
all kinds of programming paradigms, including categories for term
rewriting, imperative programming, logic programming, and functional
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 be part of the FLoC Olympic Games (
http://vsl2014.at/olympics/). It will take place "live" during FLoC at the
Vienna Summer of Logic during the IJCAR, CAV, and ICLP conferences. 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 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.

For further information, we refer to the website of the termination

*Important dates*

   - Tool Registration: June 15, 2014
   - Problem Submission: July 1, 2014
   - Competition: July 15-20, 2014
   - Announcement of Results: July 21, 2014
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.tcs.ifi.lmu.de/pipermail/loginf/attachments/20140606/c1724280/attachment.html>

More information about the loginf mailing list