Difference between revisions of "Termination Competition 2010"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (Created page with 'The termination competition will be run during the Federated Logic Conference http://www.floc-conference.org/ in July 2010.') |
J.waldmann (talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | The termination competition will be run during the | + | 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. | ||
Revision as of 15:09, 29 April 2010
The 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.
