Termination Competition 2010 - Revision history

Thiemann at 12:16, 29 June 2010

2010-06-29T12:16:43Z

2010-05-18T13:15:32Z

provisional timeline

2010-05-01T12:00:59Z

typo fixed

2010-04-29T15:16:06Z

2010-04-29T15:15:41Z

2010-04-29T15:12:17Z

2010-04-29T15:09:37Z

2010-04-29T11:05:09Z

Created page with 'The termination competition will be run during the Federated Logic Conference http://www.floc-conference.org/ in July 2010.'

New page

The termination competition will be run during the Federated Logic Conference
http://www.floc-conference.org/ in July 2010.

@@ 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
 Go here for general information on [[Termination_Competition|Termination Competitions]].

@@ Line 9: / Line 9: @@
 Results will be available from the
 [http://termcomp.uibk.ac.at/ Termination Competition/Execution Platform].
 Go here for general information on [[Termination_Competition|Termination Competitions]].

@@ Line 8: / Line 8: @@
 Results will be available from the
-[http://termcomp.uibk.ac.at/ Terminaction Competition/Execution Platform].
+[http://termcomp.uibk.ac.at/ Termination Competition/Execution Platform].
 Go here for general information on [[Termination_Competition|Termination Competitions]].

@@ Line 1: / Line 1: @@
 The 7th Termination Competition will be run during the
-[http://www.floc-conference.org/IJCAR-home.html International Joint Conference onAutomated Reasoning]
+[http://www.floc-conference.org/IJCAR-home.html International Joint Conference on Automated Reasoning]
 in July 2010.
 The competition will be hosted by the
 [http://cl-informatik.uibk.ac.at/ Computational Logic Research Group]
-of the Institute of Computer Science of the University of Innsbruck, Austria.
+at the Institute of Computer Science of the University of Innsbruck, Austria.
 Results will be available from the

@@ Line 1: / Line 1: @@
-The termination competition will be run during the
+The 7th Termination Competition will be run during the
 [http://www.floc-conference.org/IJCAR-home.html International Joint Conference onAutomated Reasoning]
 in July 2010.
@@ Line 9: / Line 9: @@
 Results will be available from the
 [http://termcomp.uibk.ac.at/ Terminaction Competition/Execution Platform].

← Older revision		Revision as of 15:12, 29 April 2010
Line 6:		Line 6:
	[http://cl-informatik.uibk.ac.at/ Computational Logic Research Group]		[http://cl-informatik.uibk.ac.at/ Computational Logic Research Group]
	of the Institute of Computer Science of the University of Innsbruck, Austria.		of the Institute of Computer Science of the University of Innsbruck, Austria.
		+
		+	Results will be available from the
		+	[http://termcomp.uibk.ac.at/ Terminaction Competition/Execution Platform].

← Older revision		Revision as of 15:09, 29 April 2010
Line 1:		Line 1:
−	The termination competition will be run during the ~~Federated Logic Conference~~	+	The termination competition will be run during the
−	http://www.floc-conference.org/ in July 2010.	+	[http://www.floc-conference.org/IJCAR-home.html International Joint Conference onAutomated Reasoning]
		+	in July 2010.
		+
		+	The competition will be hosted by the
		+	[http://cl-informatik.uibk.ac.at/ Computational Logic Research Group]
		+	of the Institute of Computer Science of the University of Innsbruck, Austria.