*Termination and Complexity Competition 2021*
http://www.termination-portal.org/wiki/Termination_Competition_2021
*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 to CADE 2021 (http://www.cade-28.info/). The competition will be run on the StarExec platform ( https://www.starexec.org/) shortly before CADE.
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_2021
*Important dates*
- Tool and Problem Submission: June 30, 2021 - First Run: July 1, 2021 - Bug/Conflict Report Deadline: July 5, 2021 - Bugfix Deadline: July 10, 2021 - Final Run: July 13, 2021 - Presentation of Results: July 15, 2021
Dear all,
I wish your active participation to the upcoming termCOMP 2021! Here are a few technical remarks.
* Let's start with the last year's data to ease our task.
* To update, please make pull-requests to this file: https://github.com/TermCOMP/starexec-master/blob/master/Y2021_info.php
* The registration status can be monitored here: https://termcomp.github.io/Y2021-1
* "✔" marks indicate certified versions.
* Please post questions on this list.
Best regards, Akihisa
On 2021/05/19 17:30, Juergen Giesl wrote:
*Termination and Complexity Competition 2021*
http://www.termination-portal.org/wiki/Termination_Competition_2021 http://www.termination-portal.org/wiki/Termination_Competition_2021
*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 to CADE 2021 (http://www.cade-28.info/ http://www.cade-28.info/). The competition will be run on the StarExec platform (https://www.starexec.org/ https://www.starexec.org/) shortly before CADE.
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_2021 http://www.termination-portal.org/wiki/Termination_Competition_2021
_Important dates_
- Tool and Problem Submission: June 30, 2021
- First Run: July 1, 2021
- Bug/Conflict Report Deadline: July 5, 2021
- Bugfix Deadline: July 10, 2021
- Final Run: July 13, 2021
- Presentation of Results: July 15, 2021
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Dear all,
- Please post questions on this list.
not a question, just an observation:
it seems that the starexec VM ( RHEL 7, https://www.starexec.org/vmimage/ ) is still current - I did not detect changes from last year
(I compiled a program inside that VM, submitted the binary to starexec, works.)
I wrote some notes (last year) specifically on Haskell compilation (ghc-8.10 does not seem to work) https://gitlab.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/issues/231
Best regards, Johannes.
Dear all,
it seems StarExec will be running three competitions soon. So it might be not much resource for your testing until some day in the next week.
Best, Akihisa
On 2021/05/31 18:04, Johannes Waldmann wrote:
Dear all,
- Please post questions on this list.
not a question, just an observation:
it seems that the starexec VM ( RHEL 7, https://www.starexec.org/vmimage/ ) is still current - I did not detect changes from last year
(I compiled a program inside that VM, submitted the binary to starexec, works.)
I wrote some notes (last year) specifically on Haskell compilation (ghc-8.10 does not seem to work) https://gitlab.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/issues/231
Best regards, Johannes. _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Dear all,
which CeTa version shall we use to test our tools within the certified categories?
Best,
Marcel
Am 10.06.21 um 06:25 schrieb YAMADA, Akihisa:
Dear all,
it seems StarExec will be running three competitions soon. So it might be not much resource for your testing until some day in the next week.
Best, Akihisa
On 2021/05/31 18:04, Johannes Waldmann wrote:
Dear all,
- Please post questions on this list.
not a question, just an observation:
it seems that the starexec VM ( RHEL 7, https://www.starexec.org/vmimage/ ) is still current - I did not detect changes from last year
(I compiled a program inside that VM, submitted the binary to starexec, works.)
I wrote some notes (last year) specifically on Haskell compilation (ghc-8.10 does not seem to work) https://gitlab.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/issues/231
Best regards, Johannes. _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Dear Marcel,
thanks for the question, the newest CeTA so far can be tested via postprocessor ceta-postproc-2.39.0.
Dear team CeTA: Do you plan a new release in June? In that case, please notify me when it is ready. Otherwise I will reuse the one from the last year.
Best regards, Akihisa
On 2021/06/10 19:41, Marcel Hark wrote:
Dear all,
which CeTa version shall we use to test our tools within the certified categories?
Best,
Marcel
Am 10.06.21 um 06:25 schrieb YAMADA, Akihisa:
Dear all,
it seems StarExec will be running three competitions soon. So it might be not much resource for your testing until some day in the next week.
Best, Akihisa
On 2021/05/31 18:04, Johannes Waldmann wrote:
Dear all,
- Please post questions on this list.
not a question, just an observation:
it seems that the starexec VM ( RHEL 7, https://www.starexec.org/vmimage/ ) is still current - I did not detect changes from last year
(I compiled a program inside that VM, submitted the binary to starexec, works.)
I wrote some notes (last year) specifically on Haskell compilation (ghc-8.10 does not seem to work) https://gitlab.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/issues/231
Best regards, Johannes. _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
--
Marcel Hark Research Group Computer Science 2 RWTH Aachen University Ahornstr. 55 52074 Aachen Germany
E-Mail: marcel.hark@cs.rwth-aachen.de" Phone: +49-241/80-21218 Fax: +49-241/80-22217 Room: 4208
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Hi Akihisa and Marcel,
I just released a new version of CeTA (2.40) this morning.
With best regards, René
Am 10.06.2021 um 13:27 schrieb YAMADA, Akihisa akihisa.yamada@aist.go.jp:
Dear Marcel,
thanks for the question, the newest CeTA so far can be tested via postprocessor ceta-postproc-2.39.0.
Dear team CeTA: Do you plan a new release in June? In that case, please notify me when it is ready. Otherwise I will reuse the one from the last year.
Best regards, Akihisa
On 2021/06/10 19:41, Marcel Hark wrote:
Dear all, which CeTa version shall we use to test our tools within the certified categories? Best, Marcel Am 10.06.21 um 06:25 schrieb YAMADA, Akihisa:
Dear all,
it seems StarExec will be running three competitions soon. So it might be not much resource for your testing until some day in the next week.
Best, Akihisa
On 2021/05/31 18:04, Johannes Waldmann wrote:
Dear all,
- Please post questions on this list.
not a question, just an observation:
it seems that the starexec VM ( RHEL 7, https://www.starexec.org/vmimage/ ) is still current - I did not detect changes from last year
(I compiled a program inside that VM, submitted the binary to starexec, works.)
I wrote some notes (last year) specifically on Haskell compilation (ghc-8.10 does not seem to work) https://gitlab.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/issues/231
Best regards, Johannes. _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
-- Marcel Hark Research Group Computer Science 2 RWTH Aachen University Ahornstr. 55 52074 Aachen Germany E-Mail: marcel.hark@cs.rwth-aachen.de" Phone: +49-241/80-21218 Fax: +49-241/80-22217 Room: 4208 _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Hi René,
thank you! I'll upload a post-processor next week.
Best, Akihisa
On 2021/06/17 22:04, Thiemann, René wrote:
Hi Akihisa and Marcel,
I just released a new version of CeTA (2.40) this morning.
With best regards, René
Am 10.06.2021 um 13:27 schrieb YAMADA, Akihisa akihisa.yamada@aist.go.jp:
Dear Marcel,
thanks for the question, the newest CeTA so far can be tested via postprocessor ceta-postproc-2.39.0.
Dear team CeTA: Do you plan a new release in June? In that case, please notify me when it is ready. Otherwise I will reuse the one from the last year.
Best regards, Akihisa
On 2021/06/10 19:41, Marcel Hark wrote:
Dear all, which CeTa version shall we use to test our tools within the certified categories? Best, Marcel Am 10.06.21 um 06:25 schrieb YAMADA, Akihisa:
Dear all,
it seems StarExec will be running three competitions soon. So it might be not much resource for your testing until some day in the next week.
Best, Akihisa
On 2021/05/31 18:04, Johannes Waldmann wrote:
Dear all,
- Please post questions on this list.
not a question, just an observation:
it seems that the starexec VM ( RHEL 7, https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.starex... ) is still current - I did not detect changes from last year
(I compiled a program inside that VM, submitted the binary to starexec, works.)
I wrote some notes (last year) specifically on Haskell compilation (ghc-8.10 does not seem to work) https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.imn...
Best regards, Johannes. _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
-- Marcel Hark Research Group Computer Science 2 RWTH Aachen University Ahornstr. 55 52074 Aachen Germany E-Mail: marcel.hark@cs.rwth-aachen.de" Phone: +49-241/80-21218 Fax: +49-241/80-22217 Room: 4208 _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Dear certified category participants,
post-processor "ceta-2.40" is ready for testing!
Best, Akihisa
On 2021/06/18 9:44, YAMADA, Akihisa wrote:
Hi René,
thank you! I'll upload a post-processor next week.
Best, Akihisa
On 2021/06/17 22:04, Thiemann, René wrote:
Hi Akihisa and Marcel,
I just released a new version of CeTA (2.40) this morning.
With best regards, René
Am 10.06.2021 um 13:27 schrieb YAMADA, Akihisa akihisa.yamada@aist.go.jp:
Dear Marcel,
thanks for the question, the newest CeTA so far can be tested via postprocessor ceta-postproc-2.39.0.
Dear team CeTA: Do you plan a new release in June? In that case, please notify me when it is ready. Otherwise I will reuse the one from the last year.
Best regards, Akihisa
On 2021/06/10 19:41, Marcel Hark wrote:
Dear all, which CeTa version shall we use to test our tools within the certified categories? Best, Marcel Am 10.06.21 um 06:25 schrieb YAMADA, Akihisa:
Dear all,
it seems StarExec will be running three competitions soon. So it might be not much resource for your testing until some day in the next week.
Best, Akihisa
On 2021/05/31 18:04, Johannes Waldmann wrote:
Dear all,
> * Please post questions on this list.
not a question, just an observation:
it seems that the starexec VM ( RHEL 7, https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.starex... ) is still current - I did not detect changes from last year
(I compiled a program inside that VM, submitted the binary to starexec, works.)
I wrote some notes (last year) specifically on Haskell compilation (ghc-8.10 does not seem to work) https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.imn...
Best regards, Johannes. _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
-- Marcel Hark Research Group Computer Science 2 RWTH Aachen University Ahornstr. 55 52074 Aachen Germany E-Mail: marcel.hark@cs.rwth-aachen.de" Phone: +49-241/80-21218 Fax: +49-241/80-22217 Room: 4208 _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Dear Akihisa,
I tried to run ceta-2.40 as a postprocessor. While the previous postprocessors always showed a column "certification-result", this is not shown when running the postprocessor ceta-2.40. You can find the job info at [1].
I hope I gave you the correct space-permissions to open the job. Please let me know if you cannot open it.
Thank you for your help.
Best,
Marcel
[1] https://www.starexec.org/starexec/secure/details/job.jsp?id=47474
Am 23.06.21 um 05:50 schrieb YAMADA, Akihisa:
Dear certified category participants,
post-processor "ceta-2.40" is ready for testing!
Best, Akihisa
On 2021/06/18 9:44, YAMADA, Akihisa wrote:
Hi René,
thank you! I'll upload a post-processor next week.
Best, Akihisa
On 2021/06/17 22:04, Thiemann, René wrote:
Hi Akihisa and Marcel,
I just released a new version of CeTA (2.40) this morning.
With best regards, René
Am 10.06.2021 um 13:27 schrieb YAMADA, Akihisa akihisa.yamada@aist.go.jp:
Dear Marcel,
thanks for the question, the newest CeTA so far can be tested via postprocessor ceta-postproc-2.39.0.
Dear team CeTA: Do you plan a new release in June? In that case, please notify me when it is ready. Otherwise I will reuse the one from the last year.
Best regards, Akihisa
On 2021/06/10 19:41, Marcel Hark wrote:
Dear all, which CeTa version shall we use to test our tools within the certified categories? Best, Marcel Am 10.06.21 um 06:25 schrieb YAMADA, Akihisa:
Dear all,
it seems StarExec will be running three competitions soon. So it might be not much resource for your testing until some day in the next week.
Best, Akihisa
On 2021/05/31 18:04, Johannes Waldmann wrote: > Dear all, > >> * Please post questions on this list. > > not a question, just an observation: > > it seems that the starexec VM > ( RHEL 7, > https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.starex... > ) > is still current - I did not detect changes from last year > > (I compiled a program inside that VM, > submitted the binary to starexec, works.) > > I wrote some notes (last year) specifically > on Haskell compilation (ghc-8.10 does not seem to work) > https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.imn... > > > Best regards, Johannes. > _______________________________________________ > Termtools mailing list -- termtools@lists.rwth-aachen.de > To unsubscribe send an email to > termtools-leave@lists.rwth-aachen.de > _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
-- Marcel Hark Research Group Computer Science 2 RWTH Aachen University Ahornstr. 55 52074 Aachen Germany E-Mail: marcel.hark@cs.rwth-aachen.de" Phone: +49-241/80-21218 Fax: +49-241/80-22217 Room: 4208 _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Dear Marcel,
sorry, I don't seem to have the permission.
Best, Akihisa
On 2021/06/23 17:21, Marcel Hark wrote:
Dear Akihisa,
I tried to run ceta-2.40 as a postprocessor. While the previous postprocessors always showed a column "certification-result", this is not shown when running the postprocessor ceta-2.40. You can find the job info at [1].
I hope I gave you the correct space-permissions to open the job. Please let me know if you cannot open it.
Thank you for your help.
Best,
Marcel
[1] https://www.starexec.org/starexec/secure/details/job.jsp?id=47474
Am 23.06.21 um 05:50 schrieb YAMADA, Akihisa:
Dear certified category participants,
post-processor "ceta-2.40" is ready for testing!
Best, Akihisa
On 2021/06/18 9:44, YAMADA, Akihisa wrote:
Hi René,
thank you! I'll upload a post-processor next week.
Best, Akihisa
On 2021/06/17 22:04, Thiemann, René wrote:
Hi Akihisa and Marcel,
I just released a new version of CeTA (2.40) this morning.
With best regards, René
Am 10.06.2021 um 13:27 schrieb YAMADA, Akihisa akihisa.yamada@aist.go.jp:
Dear Marcel,
thanks for the question, the newest CeTA so far can be tested via postprocessor ceta-postproc-2.39.0.
Dear team CeTA: Do you plan a new release in June? In that case, please notify me when it is ready. Otherwise I will reuse the one from the last year.
Best regards, Akihisa
On 2021/06/10 19:41, Marcel Hark wrote:
Dear all, which CeTa version shall we use to test our tools within the certified categories? Best, Marcel Am 10.06.21 um 06:25 schrieb YAMADA, Akihisa: > Dear all, > > it seems StarExec will be running three competitions soon. So it > might be not much resource for your testing until some day in the > next week. > > Best, > Akihisa > > On 2021/05/31 18:04, Johannes Waldmann wrote: >> Dear all, >> >>> * Please post questions on this list. >> >> not a question, just an observation: >> >> it seems that the starexec VM >> ( RHEL 7, >> https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.starex... >> ) >> is still current - I did not detect changes from last year >> >> (I compiled a program inside that VM, >> submitted the binary to starexec, works.) >> >> I wrote some notes (last year) specifically >> on Haskell compilation (ghc-8.10 does not seem to work) >> https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.imn... >> >> >> Best regards, Johannes. >> _______________________________________________ >> Termtools mailing list -- termtools@lists.rwth-aachen.de >> To unsubscribe send an email to >> termtools-leave@lists.rwth-aachen.de >> > _______________________________________________ > Termtools mailing list -- termtools@lists.rwth-aachen.de
> To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Marcel Hark Research Group Computer Science 2 RWTH Aachen University Ahornstr. 55 52074 Aachen Germany E-Mail: marcel.hark@cs.rwth-aachen.de" Phone: +49-241/80-21218 Fax: +49-241/80-22217 Room: 4208 _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
--
Marcel Hark Research Group Computer Science 2 RWTH Aachen University Ahornstr. 55 52074 Aachen Germany
E-Mail: marcel.hark@cs.rwth-aachen.de" Phone: +49-241/80-21218 Fax: +49-241/80-22217 Room: 4208
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Dear all,
the registration is closed, thanks a lot for benchmark submissions and tool registrations! Now I'm waiting for StarExec nodes to be allocated.
Best regards, Akihisa
On 2021/05/31 12:13, YAMADA, Akihisa wrote:
Dear all,
I wish your active participation to the upcoming termCOMP 2021! Here are a few technical remarks.
Let's start with the last year's data to ease our task.
To update, please make pull-requests to this file:
https://github.com/TermCOMP/starexec-master/blob/master/Y2021_info.php
- The registration status can be monitored here:
https://termcomp.github.io/Y2021-1
"✔" marks indicate certified versions.
Please post questions on this list.
Best regards, Akihisa
On 2021/05/19 17:30, Juergen Giesl wrote:
*Termination and Complexity Competition 2021*
http://www.termination-portal.org/wiki/Termination_Competition_2021 http://www.termination-portal.org/wiki/Termination_Competition_2021
*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 to CADE 2021 (http://www.cade-28.info/ http://www.cade-28.info/). The competition will be run on the StarExec platform (https://www.starexec.org/ https://www.starexec.org/) shortly before CADE.
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_2021 http://www.termination-portal.org/wiki/Termination_Competition_2021
_Important dates_
* Tool and Problem Submission: June 30, 2021 * First Run: July 1, 2021 * Bug/Conflict Report Deadline: July 5, 2021 * Bugfix Deadline: July 10, 2021 * Final Run: July 13, 2021 * Presentation of Results: July 15, 2021
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Dear all,
I'm starting categories one by one. Watch them here: https://termcomp.github.io/Y2021-1
Best regards, Akihisa
On 2021/07/02 10:47, YAMADA, Akihisa wrote:
Dear all,
the registration is closed, thanks a lot for benchmark submissions and tool registrations! Now I'm waiting for StarExec nodes to be allocated.
Best regards, Akihisa
On 2021/05/31 12:13, YAMADA, Akihisa wrote:
Dear all,
I wish your active participation to the upcoming termCOMP 2021! Here are a few technical remarks.
Let's start with the last year's data to ease our task.
To update, please make pull-requests to this file:
https://github.com/TermCOMP/starexec-master/blob/master/Y2021_info.php
- The registration status can be monitored here:
https://termcomp.github.io/Y2021-1
"✔" marks indicate certified versions.
Please post questions on this list.
Best regards, Akihisa
On 2021/05/19 17:30, Juergen Giesl wrote:
*Termination and Complexity Competition 2021*
http://www.termination-portal.org/wiki/Termination_Competition_2021 http://www.termination-portal.org/wiki/Termination_Competition_2021
*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 to CADE 2021 (http://www.cade-28.info/ http://www.cade-28.info/). The competition will be run on the StarExec platform (https://www.starexec.org/ https://www.starexec.org/) shortly before CADE.
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_2021 http://www.termination-portal.org/wiki/Termination_Competition_2021
_Important dates_
* Tool and Problem Submission: June 30, 2021 * First Run: July 1, 2021 * Bug/Conflict Report Deadline: July 5, 2021 * Bugfix Deadline: July 10, 2021 * Final Run: July 13, 2021 * Presentation of Results: July 15, 2021
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Dear all,
all categories except for those with permission issues and demonstrations are started: https://termcomp.github.io/Y2021-1
There are some improvements in the visual. - Certified versions are embedded in the main rankings - Each category page has filtering functionalities - Benchmarks are pretty printed (at last)
Please find and report issues (on tools and the environment) by July 5.
Enjoy! Akihisa
On 2021/07/02 12:46, YAMADA, Akihisa wrote:
Dear all,
I'm starting categories one by one. Watch them here: https://termcomp.github.io/Y2021-1
Best regards, Akihisa
On 2021/07/02 10:47, YAMADA, Akihisa wrote:
Dear all,
the registration is closed, thanks a lot for benchmark submissions and tool registrations! Now I'm waiting for StarExec nodes to be allocated.
Best regards, Akihisa
On 2021/05/31 12:13, YAMADA, Akihisa wrote:
Dear all,
I wish your active participation to the upcoming termCOMP 2021! Here are a few technical remarks.
Let's start with the last year's data to ease our task.
To update, please make pull-requests to this file:
https://github.com/TermCOMP/starexec-master/blob/master/Y2021_info.php
- The registration status can be monitored here:
https://termcomp.github.io/Y2021-1
"✔" marks indicate certified versions.
Please post questions on this list.
Best regards, Akihisa
On 2021/05/19 17:30, Juergen Giesl wrote:
*Termination and Complexity Competition 2021*
http://www.termination-portal.org/wiki/Termination_Competition_2021 http://www.termination-portal.org/wiki/Termination_Competition_2021
*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 to CADE 2021 (http://www.cade-28.info/ http://www.cade-28.info/). The competition will be run on the StarExec platform (https://www.starexec.org/ https://www.starexec.org/) shortly before CADE.
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_2021 http://www.termination-portal.org/wiki/Termination_Competition_2021
_Important dates_
* Tool and Problem Submission: June 30, 2021 * First Run: July 1, 2021 * Bug/Conflict Report Deadline: July 5, 2021 * Bugfix Deadline: July 10, 2021 * Final Run: July 13, 2021 * Presentation of Results: July 15, 2021
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Dear all,
scoring for complexity categories was discussed among SC and changed as follows. - Providing upper bound n^u will be given score 1 + 0.5^u. - Providing lower bound n^l will be given score 1 - 0.5^l.
Intuitively, as the upper bound goes up, the score goes down towards 1 (terminating), and as the lower bound goes up, the score goes up towards 1 (nonterminating).
The maximum score is 2, and is achieved by proving tight bounds (u = l). The only exception is NON_POLY lower bound, which is given score 1, hypothetically reserving 1 for a termination proof.
Best, Akihisa
termtools@lists.rwth-aachen.de
-
Johannes Waldmann -
Juergen Giesl -
Marcel Hark -
Thiemann, René -
YAMADA, Akihisa -
YAMADA, Akihisa