Termination Competition 2014
In 2014, the Termination Competition will be part of the FLoC Olympic Games.
Contents
Dates (tentative)
- call for solvers, certifiers, benchmarks: May 20
- registration of solvers: June 15
- updates of registered solvers, submission of benchmarks: July 1
- competition runs: July 15 - 20
- results announced: July 21, during FLoC Olympic Games Award Ceremony, Vienna.
Competition Categories and Awards
The competition contains several categories, grouped in meta-categories:
- termination of term rewriting (all categories with HO/FO-TRS, with- or without strategies)
- complexity analysis of term rewriting (all complexity categories)
- termination in programming languages (Logic Programming, Haskell, Java, C, ...)
In each meta-category, a medal will be awarded to the highest-scoring solver.
For every meta-category, we consider the sum of the scores for each category within that meta-category: The score of a tool is determined by the number of other tools which could be beaten in that category.
This puts the emphasis on categories with many competitors. (In particular, a category with just one entrant will produce zero score.)
Committees
Steering Committee
- Jürgen Giesl, RWTH Aachen, Germany
- Frederic Mesnard, Reunion
- Albert Rubio (chair), UPC Barcelona, Spain
- Rene Thiemann, Universität Innsbruck, Austria
- Johannes Waldmann, HTWK Leipzig, Germany
Organizing Commmittee
- Johannes Waldmann, HTWK Leipzig, Germany
- Stefan von der Krone, HTWK Leipzig, Germany
Registration info (tentative)
Participants must register on Starexec, and by email to the organizer, indicating the competition categories where they plan to enter solvers and benchmarks, and then upload their contributions to starexec.
We recommended to register early. After the deadline, access to Starexec might be restricted. We need time to prepare the competition, and other competitions may be running in parallel.
It is highly recommended that participants also subscribe to termtools because that is where announcements will be made, and discussion takes place.
Technical Detail
We intend to run the competition on StarExec - a cross-community solver execution and benchmark library service under joint development (since 2012) at the University of Iowa and the University of Miami.
Technical details about the execution platform can be found here
Contact
To contact the steering committee of the termination competition, send email to terminationcompetitionsc<at>lists.rwth-aachen.de. The competition organizers can be reached at termcomp<at>htwk-leipzig.de
