New pages
From Termination-Portal.org
Jump to navigationJump to search- 08:22, 11 February 2026 Termination Competition 2026 (hist) [5,815 bytes] Ffrohn (talk | contribs) (Created page with "The Termination and Complexity Competition (TermComp) 2026 will be affiliated with [https://termination-portal.org/wiki/21st_International_Workshop_on_Termination WST 2026], w...")
- 14:57, 15 January 2026 21st International Workshop on Termination (hist) [11,121 bytes] Ffrohn (talk | contribs) (Created page with "July 25, 2026, Lisbon, Portugal. As part of [https://www.floc26.org FLoC 2026] and co-located with [https://www.floc26.org/ijcar IJCAR 2026]. ==Background== The Workshop...")
