Difference between revisions of "Termination Competition 2010"

From Termination-Portal.org
Jump to navigationJump to search
Line 1: Line 1:
 
The 7th 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]
+
[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]
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  
 
Results will be available from the  

Revision as of 15:16, 29 April 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 Terminaction Competition/Execution Platform.

Go here for general information on Termination Competitions.