[Termtools] Termination and Complexity Competition 2018: Call for Participation

[Akihisa Yamada]

Dear termination/complexity tool authors,

I am going to organize this year's TermComp, so please participate :), 
and please let me know the StarExec IDs of the following:
- the personal space of the corresponding author,
- the tool,
- the configuration for each category.

Any questions/requests/comments are welcome!

Best regards,
Akihisa

On 2018/05/09 0:58, Juergen Giesl wrote:
> *
> Termination and Complexity Competition 2018*
> July 13-14
> 
> http://www.termination-portal.org/wiki/Termination_Competition_2018
> 
> *Call for Participation*
> 
> Since the beginning of the millennium, many research groups developed 
> tools for fully automated termination and complexity 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 and complexity competition focuses on automated 
> termination and complexity analysis for all kinds of programming 
> paradigms, including categories for term rewriting, imperative 
> programming, logic programming, and functional programming. In all 
> categories, we also welcome the participation of tools providing 
> certifiable proofs. The goal of the termination and complexity 
> competition is to demonstrate the power of the leading tools in each of 
> these areas.
> 
> The competition will be part of the Olympic Games at the Federated Logic 
> Conference (FLoC 2018) (https://www.floc2018.org/) and it will take 
> place "live" during the conference. 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 and complexity 
> analysis tools to participate in the competition.
> 
> 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 and complexity 
> problems, especially problems that come from applications.
> 
> For further information, we refer to the website of the 
> termination and complexity competition: 
> http://www.termination-portal.org/wiki/Termination_Competition_2018
> 
> <http://www.termination-portal.org/wiki/Termination_and_Complexity_Competition_2016>
> _Important dates_
> 
>   * Tool Registration: June 8, 2018
>   * Problem Submission: June 15, 2018
>   * Updates of Registered Tools: June 29, 2018
>   * Competition: July 13-14, 2018
> 
> 
> 
> 
> 
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>