Difference between revisions of "Termination Competition 2011"

From Termination-Portal.org
Jump to navigationJump to search
Line 4: Line 4:
  
 
* Software requests:  May 13 2011
 
* Software requests:  May 13 2011
* Problem submission:  May 27 2011, 12:01 CET
+
* Problem submission:  May 27 2011, 13:01 CEST
* Tool submission:    May 27 2011, 12:01 CET
+
* Tool submission:    May 27 2011, 13:01 CEST
* Competition start:  May 30 2011
+
* Competition start:  May 30 2011, 09:00 CEST
  
 
The [http://termcomp.uibk.ac.at/2011/rules.html rules of the competition] and  
 
The [http://termcomp.uibk.ac.at/2011/rules.html rules of the competition] and  
 
[http://termcomp.uibk.ac.at/2011/index.html further information on the computer running the experiments] can be found on
 
[http://termcomp.uibk.ac.at/2011/index.html further information on the computer running the experiments] can be found on
 
the [http://termcomp.uibk.ac.at/ termination competition] website.
 
the [http://termcomp.uibk.ac.at/ termination competition] website.

Revision as of 18:06, 24 May 2011

Call for participation

Important dates

  • Software requests: May 13 2011
  • Problem submission: May 27 2011, 13:01 CEST
  • Tool submission: May 27 2011, 13:01 CEST
  • Competition start: May 30 2011, 09:00 CEST

The rules of the competition and further information on the computer running the experiments can be found on the termination competition website.