Difference between revisions of "Termination Competition 2010"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
|||
| (5 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | The | + | The 7th Termination Competition will be run during the |
| − | [http://www.floc-conference.org/IJCAR-home.html International Joint Conference | + | [http://www.floc-conference.org/IJCAR-home.html International Joint Conference on Automated Reasoning] |
in July 2010. | in July 2010. | ||
The competition will be hosted by the | The competition will be hosted by the | ||
[http://cl-informatik.uibk.ac.at/ Computational Logic Research Group] | [http://cl-informatik.uibk.ac.at/ Computational Logic Research Group] | ||
| − | + | at the Institute of Computer Science of the University of Innsbruck, Austria. | |
| + | |||
| + | Results will be available from the | ||
| + | [http://termcomp.uibk.ac.at/ 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 | ||
| + | [http://termcomp.uibk.ac.at/2010/rules.html termination competition 2010 website]. | ||
| + | |||
| + | |||
| + | Go here for general information on [[Termination_Competition|Termination Competitions]]. | ||
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.
