Termination Competition 2010: Difference between revisions

Latest revision as of 12:16, 29 June 2010

The 7th Termination Competition will be run during the International Joint Conference on Automated Reasoning in July 2010.

The competition will be hosted by the Computational Logic Research Group at the Institute of Computer Science of the University of Innsbruck, Austria.

Results will be available from the Termination Competition/Execution Platform.

The competition will start on July 16, 9:00 CET and the results will be presented at IJCAR on July 19th.

The more detailed timeline and other informations are available on the termination competition 2010 website.

Go here for general information on Termination Competitions.

@@ Line 10: / Line 10: @@
 [http://termcomp.uibk.ac.at/ Termination Competition/Execution Platform].
-Provisional timeline:
+The competition will start on July 16, 9:00 CET and the results will be presented
-* June 7th:  Platform available for uploading and testing termination provers
+at IJCAR on July 19th.
-* X - 14 days: Deadline for requests for installing auxiliary software on the platform
-* X - 10 days: Deadline for termination problem submission
+The more detailed timeline and other informations are available on the
-* X - 2 days: Deadline for termination prover submission
+[http://termcomp.uibk.ac.at/2010/rules.html termination competition 2010 website].
-* X: competition starts
-* July 19th: Presentation of competition results at IJCAR
 Go here for general information on [[Termination_Competition|Termination Competitions]].