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

[Akihisa Yamada]

Dear participants of TermComp 2017,

let me introduce a quick registration method: If you'd like to 
participate this year, too, then please just let me know. Then I will 
use settings from the last year for testing, and you can upload the 
final version until

>>   * Updates of Registered Tools: June 29, 2018

Best regards,
Akihisa

On 2018/06/04 16:30, Akihisa Yamada wrote:
> 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
>>