Difference between revisions of "Termination Competition 2011"

From Termination-Portal.org
Jump to navigationJump to search
(Created page with "Important dates * Software requests: May 13 2010 * Problem submission: May 27 2011, 12:01 CET * Tool submission: May 27 2011, 12:01 CET * Competition start: May 30 2011...")
 
Line 1: Line 1:
 
Important dates
 
Important dates
  
* Software requests:  May 13 2010
+
* Software requests:  May 13 2011
 
* Problem submission:  May 27 2011, 12:01 CET
 
* Problem submission:  May 27 2011, 12:01 CET
 
* Tool submission:    May 27 2011, 12:01 CET
 
* Tool submission:    May 27 2011, 12:01 CET

Revision as of 14:03, 19 April 2011

Important dates

  • Software requests: May 13 2011
  • Problem submission: May 27 2011, 12:01 CET
  • Tool submission: May 27 2011, 12:01 CET
  • Competition start: May 30 2011

(more detailed announcement will follow)