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

Carsten Fuhs fuhs at informatik.rwth-aachen.de
Mon Jun 14 07:18:20 EDT 2010


                  Termination Competition 2010
                        July 16-19

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


                   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 IJCAR conference
at FLoC. 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.

Our friends at CASC have invited us and all other FLoC solver
competitions to join their CASC dinner. To attend, please
sign up (before June 28) at

http://www.cs.miami.edu/~tptp/CASC/J5/CASCRegistration.html



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

Software requests:    2 July 2010

Problem submission:   6 July 2010

Tool submission:     14 July 2010

Competition start:   16 July 2010


More information about the SMT-LIB mailing list