Termination Competition 2010: Difference between revisions
J.waldmann (talk | contribs) No edit summary |
J.waldmann (talk | contribs) No edit summary |
||
| 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 onAutomated Reasoning] | [http://www.floc-conference.org/IJCAR-home.html International Joint Conference onAutomated Reasoning] | ||
in July 2010. | in July 2010. | ||
| Line 9: | Line 9: | ||
Results will be available from the | Results will be available from the | ||
[http://termcomp.uibk.ac.at/ Terminaction Competition/Execution Platform]. | [http://termcomp.uibk.ac.at/ Terminaction Competition/Execution Platform]. | ||
Go here for general information on [[Termination_Competition|Termination Competitions]]. | |||
Revision as of 15:15, 29 April 2010
The 7th Termination Competition will be run during the International Joint Conference onAutomated Reasoning in July 2010.
The competition will be hosted by the Computational Logic Research Group of the Institute of Computer Science of the University of Innsbruck, Austria.
Results will be available from the Terminaction Competition/Execution Platform.
Go here for general information on Termination Competitions.