Dear all,
the GitHub repository is ready for termCOMP 2022 registration:
https://github.com/TermCOMP/starexec-master
I hope the instruction there is clear enough. Please post questions on
this list otherwise.
You can monitor the status of registration and run at
http://termcomp.github.io/Y2022/
Best,
Akihisa
Hello all,
We would like to extend an invitation to authors of termination or
complexity tools to give a presentation at WST 2022 on 11-12 August,
2022 in Haifa.
To participate, please submit a title and abstract by *18 June*. Tool
presentations will be 5-20 minutes (to your preference). Submissions
should be made at https://easychair.org/conferences/?conf=wst22
Participants are additionally invited to submit a 1-2 page extended
abstract, to be included in the (informal) proceedings. This is not
mandatory for participation.
Hoping to see you at WST!
Cynthia Kop.
*Termination and Complexity Competition 2022*
http://www.termination-portal.org/wiki/Termination_Competition_2022
*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 affiliated with IJCAR 2022 (
https://easychair.org/smart-program/FLoC2022/IJCAR-index.html) and it will
be part of the Olympic Games at the Federated Logic Conference (FLoC 2022) (
https://www.floc2022.org/floc-olympic-games). It will be run on the
StarExec platform (http://www.starexec.org/). The final run and a
presentation of the final results will be live at FLoC.
All (co-)authors of tools or benchmarks are invited (but not required) to
give a 5-20min presentation of their contributions at the Workshop of
Termination (WST 2022, https://sws.cs.ru.nl/WST2022) on August 12, 2022. We
ask for a title and abstract by June 18, and anyone who sends this in may
additionally submit a 1-2 page paper to be included in the WST proceedings
(but this is not mandatory). Please use the following URL for your WST
submission: https://easychair.org/conferences/?conf=wst22
We strongly encourage all developers of termination and complexity analysis
tools to participate in the competition. We also welcome the submission of
termination and complexity problems, especially problems that come from
applications.
A category is only run in the competition if there are at least 2
participants and at least 40 examples for this category in the underlying
termination problem data base. 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.
For further information, we refer to the website of the termination and
complexity competition:
http://www.termination-portal.org/wiki/Termination_Competition_2022
*Important dates*
- Title and Abstract Submission to WST: June 18, 2022
- Tool and Problem Submission: July 24, 2022
- First Run: July 25, 2022
- Bug/Conflict Report Deadline: July 30, 2022
- Bugfix Deadline: August 4, 2022
- Final Run: August 5, 2022
- Award Ceremony at FLoC: August 9, 2022
- Presentations at WST: August 12, 2022
