Termination Competition 2010
From Termination-Portal.org
Jump to navigationJump to searchThe 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.
Go here for general information on Termination Competitions.
