Termination Competition 2022 - Revision history

Giesl: Final Result

2022-11-07T14:09:35Z

Final Result

Akihisa Yamada: link to the first run

2022-07-26T11:28:52Z

link to the first run

Akihisa Yamada: Details of the ranking

2022-07-19T06:26:26Z

Details of the ranking

Akihisa Yamada: Changed final run date to 7 Aug. to avoid FLoC excursion day

2022-07-18T09:30:15Z

Changed final run date to 7 Aug. to avoid FLoC excursion day

Akihisa Yamada: /* Dates */ added (optional) and old date

2022-06-21T02:15:09Z

Dates: added (optional) and <s> old date

← Older revision Revision as of 02:15, 21 June 2022
Line 11: Line 11:

== Dates ==

== Dates ==

−
* June 18: Title and Abstract Submission [https://easychair.org/conferences/?conf=wst22 to WST]
+
* <s>June 18</s>: (Optional) <s>Title and Abstract Submission [https://easychair.org/conferences/?conf=wst22 to WST]</s>

* July 24: Tools and Problems Submission Deadline

* July 24: Tools and Problems Submission Deadline

* July 25: First Run

* July 25: First Run

Akihisa Yamada: number of medals = 5

2022-06-21T02:12:38Z

number of medals = 5

← Older revision Revision as of 02:12, 21 June 2022
Line 1: Line 1:

The Termination and Complexity Competition (termCOMP) 2022 will be affiliated with [https://easychair.org/smart-program/FLoC2022/IJCAR-index.html IJCAR 2022] and takes part in [https://www.floc2022.org/floc-olympic-games FLoC Olympic Games 2022].

The Termination and Complexity Competition (termCOMP) 2022 will be affiliated with [https://easychair.org/smart-program/FLoC2022/IJCAR-index.html IJCAR 2022] and takes part in [https://www.floc2022.org/floc-olympic-games FLoC Olympic Games 2022].

−
~~Several~~ medals will be awarded, following a ranking scheme which is to be announced.
+
Five medals will be awarded, following a ranking scheme which is to be announced.

The competition will be run on the [http://www.starexec.org/ StarExec platform].

The competition will be run on the [http://www.starexec.org/ StarExec platform].

Giesl at 15:19, 9 June 2022

2022-06-09T15:19:33Z

← Older revision Revision as of 15:19, 9 June 2022
Line 7: Line 7:

All (co-)authors of tools or benchmarks are invited (but not required) to give a 5-20min presentation of their contributions at the [https://sws.cs.ru.nl/WST2022 Workshop of Termination (WST 2022)] on 12 August 2022.

All (co-)authors of tools or benchmarks are invited (but not required) to give a 5-20min presentation of their contributions at the [https://sws.cs.ru.nl/WST2022 Workshop of Termination (WST 2022)] on 12 August 2022.

−
We ask for a title+abstract by 18 June via [https://easychair.org/conferences/?conf=wst22 this submission site]~~, and anyone~~ who sends this in may additionally submit a 1-2 page paper to be included in the proceedings (but this is not mandatory).
+
We ask for a title+abstract by 18 June via [https://easychair.org/conferences/?conf=wst22 this submission site]. Anyone who sends this in may additionally submit a 1-2 page paper by July 11, to be included in the WST-proceedings (but this is not mandatory).

== Dates ==

== Dates ==

Giesl at 14:15, 2 June 2022

2022-06-02T14:15:03Z

← Older revision Revision as of 14:15, 2 June 2022
Line 7: Line 7:

All (co-)authors of tools or benchmarks are invited (but not required) to give a 5-20min presentation of their contributions at the [https://sws.cs.ru.nl/WST2022 Workshop of Termination (WST 2022)] on 12 August 2022.

All (co-)authors of tools or benchmarks are invited (but not required) to give a 5-20min presentation of their contributions at the [https://sws.cs.ru.nl/WST2022 Workshop of Termination (WST 2022)] on 12 August 2022.

−
We ask for a title+abstract by 18 June, and anyone who sends this in may additionally submit a 1-2 page paper to be included in the proceedings (but this is not mandatory)~~, deadline somewhere in July~~.
+
We ask for a title+abstract by 18 June via [https://easychair.org/conferences/?conf=wst22 this submission site], and anyone who sends this in may additionally submit a 1-2 page paper to be included in the proceedings (but this is not mandatory).

== Dates ==

== Dates ==

−
* June 18: Title and Abstract Submission to WST
+
* June 18: Title and Abstract Submission [https://easychair.org/conferences/?conf=wst22 to WST]

* July 24: Tools and Problems Submission Deadline

* July 24: Tools and Problems Submission Deadline

* July 25: First Run

* July 25: First Run

Giesl at 16:18, 1 June 2022

2022-06-01T16:18:33Z

← Older revision Revision as of 16:18, 1 June 2022
Line 12: Line 12:

* June 18: Title and Abstract Submission to WST

* June 18: Title and Abstract Submission to WST

−
* ~~Jul.~~ 24: Tools and Problems Submission Deadline
+
* July 24: Tools and Problems Submission Deadline

−
* ~~Jul.~~ 25: First Run
+
* July 25: First Run

−
* ~~Aug.~~ 30: Conflict/Bug Report Deadline
+
* July 30: Conflict/Bug Report Deadline

* Aug. 4: Bugfix Deadline

* Aug. 4: Bugfix Deadline

* Aug. 5: Final Run

* Aug. 5: Final Run

Giesl at 16:16, 1 June 2022

2022-06-01T16:16:07Z

← Older revision Revision as of 16:16, 1 June 2022
Line 6: Line 6:

The final run and a presentation of the final results will be live at FLoC.

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) on 12 August 2022.
+
All (co-)authors of tools or benchmarks are invited (but not required) to give a 5-20min presentation of their contributions at the [https://sws.cs.ru.nl/WST2022 Workshop of Termination (WST 2022)] on 12 August 2022.

We ask for a title+abstract by 18 June, and anyone who sends this in may additionally submit a 1-2 page paper to be included in the proceedings (but this is not mandatory), deadline somewhere in July.

We ask for a title+abstract by 18 June, and anyone who sends this in may additionally submit a 1-2 page paper to be included in the proceedings (but this is not mandatory), deadline somewhere in July.

@@ Line 14: / Line 14: @@
 == Status ==
-[https://termcomp.github.io/Y2022/ first run]
+[https://termcomp.github.io/Y2022/ Final Result]
 == Dates  ==

@@ Line 1: / Line 1: @@
 The Termination and Complexity Competition (termCOMP) 2022 will be affiliated with [https://easychair.org/smart-program/FLoC2022/IJCAR-index.html IJCAR 2022] and takes part in [https://www.floc2022.org/floc-olympic-games FLoC Olympic Games 2022].
-Five medals will be awarded, following a ranking scheme which is to be announced.
 The competition will be run on the [http://www.starexec.org/ StarExec platform].
@@ Line 22: / Line 25: @@
 == Awards and Competition Categories ==
-[https://www.floc2022.org/floc-olympic-games FLoC Olympic Games] medals will be awarded to participants.
+Five [https://www.floc2022.org/floc-olympic-games FLoC Olympic Games] medals will be awarded to participants.
-The number of medals and the ranking scheme will be announced soon.
+* Gold, Silver, and Bronze medals go to the top three teams according to a competition-wide ranking. Teams are ranked by the Euclidean norms of the normalized score vector. Each component of the vector is the score of the team in a category, divided by the score of the virtual best solver (VBS) in the category. The VBS records the best (consistent) score for each claim collected at least since 2018.
 The competition contains several categories for termination and complexity from the areas of term rewriting (all categories with HO/FO-TRSs, with- or without strategies) and programming languages (Logic Programming, Haskell, Java, C, integer transition systems, ...)
@@ Line 102: / Line 108: @@
 Proposed changes:
 Adopted changes:
 * Medals will be awarded.
 * Tool/benchmark authors are invited to submit a paper and present at WST.

@@ Line 16: / Line 16: @@
 * July 30: Conflict/Bug Report Deadline
 * Aug. 4: Bugfix Deadline
-* Aug. 5: Final Run
+* Aug. <b>7</b> <s>5</s>: Final Run
 * Aug. 9: Award Ceremony at FLoC
 * Aug. 12: Presentations at WST

@@ Line 11: / Line 11: @@
 All (co-)authors of tools or benchmarks are invited (but not required) to give a 5-20min presentation of their contributions at the [https://sws.cs.ru.nl/WST2022 Workshop of Termination (WST 2022)] on 12 August 2022.
 We ask for a title+abstract by 18 June via [https://easychair.org/conferences/?conf=wst22 this submission site].  Anyone who sends this in may additionally submit a 1-2 page paper by July 11, to be included in the WST-proceedings (but this is not mandatory).
 == Dates  ==

@@ Line 11: / Line 11: @@
 == Dates  ==
-* June 18: Title and Abstract Submission [https://easychair.org/conferences/?conf=wst22 to WST]
+* <s>June 18</s>: (Optional) <s>Title and Abstract Submission [https://easychair.org/conferences/?conf=wst22 to WST]</s>
 * July 24: Tools and Problems Submission Deadline
 * July 25: First Run

@@ Line 6: / Line 6: @@
 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) on 12 August 2022.
+All (co-)authors of tools or benchmarks are invited (but not required) to give a 5-20min presentation of their contributions at the [https://sws.cs.ru.nl/WST2022 Workshop of Termination (WST 2022)] on 12 August 2022.
 We ask for a title+abstract by 18 June, and anyone who sends this in may additionally submit a 1-2 page paper to be included in the proceedings (but this is not mandatory), deadline somewhere in July.