News:Termination Competition 2011: May 30 - June 1

From Termination-Portal.org
Revision as of 10:55, 19 April 2011 by J.waldmann (talk | contribs) (Created page with "<!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


May 30 - June 1, 2011

The Termination Competition will take place "live" during the RTA conference (http://www.rdp2011.uns.ac.rs/rta).

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=News:Termination_Competition_2011:_May_30_-_June_1&oldid=1150"