News:Termination and Complexity Competition 2018

From Termination-Portal.org
Revision as of 07:17, 4 June 2018 by Akihisa Yamada (talk | contribs) (News entry for TermComp 2018)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


Jul 14 - Jul 15, 2018

Termination Competition 2018 will take place in FLoC 2018.

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=News:Termination_and_Complexity_Competition_2018&oldid=1787"