Category:News
From Termination-Portal.org
Jump to navigationJump to search
Add a news entry: <createarticle>
type=createarticle prefix=News: preload=Template:AddNews default=News Caption buttonlabel=Create News Entry align=left
</createarticle>
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