Category:News
From Termination-Portal.org
Jump to navigationJump to searchAdd a news entry: <createarticle>
type=createarticle prefix=News: preload=Template:AddNews default=News Caption buttonlabel=Create News Entry align=left
</createarticle>
The recently created (or edited) news entries will be shown on the front page automatically.
Pages in category "News"
The following 35 pages are in this category, out of 35 total.
- News:Adding References
- News:Certification Problem Format
- News:Certified non-standard termination
- News:Complexity Category
- News:Complexity Wiki Moved
- News:Complexity Wiki Updated
- News:Details for WScT08 Leipzig May 17-19
- News:Domain name
- News:Domain Registered
- News:Full TPDB run, December 2013
- News:Logic Programming Category of the Termination Competition
- News:Outermost Category
- News:Plan for complete run (all tools, all problems)
- News:Plan for Termination Competition 2012
- News:Proposal - Rename XTC
- News:Termination and Complexity Competition 2016
- News:Termination and Complexity Competition 2017
- News:Termination and Complexity Competition 2018
- News:Termination Competition 2009 in December
- News:Termination Competition 2010 in July
- News:Termination Competition 2011: May 30 - June 1
- News:Termination Competition 2012: June 26 - June 29
- News:Termination Competition 2013: June 24 - June 26
- News:Termination Competition 2014 is part of FLoC Olympics
- News:Termination Competition 2015
- News:Termination Competition 2019
- News:Termination Competition 2020
- News:Termination Competition 2021
- News:Termination Competition Meeting, Hagenberg, 15th July 2008
- News:Termination Portal Online
- News:Workshop on Termination 2013: August 28 - 31
- News:Workshop on Termination 2014 at Vienna Summer of Logic
- News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps
- News:Workshop on Termination 2020
- News:XTC Format Specification
