Termination Competition 2010

From Termination-Portal.org
Revision as of 15:09, 29 April 2010 by J.waldmann (talk | contribs)
Jump to navigationJump to search

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.