From Termination-Portal.org
Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases.
Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).
This portal aims to provide the research community with up-to-date information about the field
of termination analysis.
The main sections are People (information about researchers in termination analysis),
News (information about events and new publications),
Tools (information about tools for automated termination analysis), and
References (publications related to termination analysis).
Additionally, the portal provide information about past and future workshops and competitions.
Have Suggestions to improve this web resource?
- How to Contribute.
Recent News
| Caption
| Date
| Text
|
| Proposal - Rename XTC
| Jan 12, 2010
| See Section 2 of Talk:XTC_Format_Specification.
|
| Termination Competition 2009 in December
| Dec 16, 2009
| The Termination Competition 2009 will run in December. See
[1] for current information.
|
| Certification Problem Format
| Sep 29, 2009
| Tools:A3PAT, Tools:CeTA, and Tools:CoLoR have agreed upon a common certification problem format.
|
| Certified non-standard termination
| Apr 24, 2009
| Proposal: Certification of Relative Termination and Termination modulo Theories
|
| XTC Format Specification
| February 24, 2009
| XTC Format Specification: XTC_Format_Specification
|
| Outermost Category
| Nov 3, 2008
| Outermost Category of the Termination Competition: Outermost
|
| Logic Programming Category of the Termination Competition
| Oct 29, 2008
| Logic Programming Category of the Termination Competition: Logic_Programming
|
| Complexity Category
| Oct 20, 2008
| Complexity Category of the Termination Competition: Complexity
|
| Termination Competition Meeting, Hagenberg, 15th July 2008
| July 15, 2008
| see TCM-July-2008
|
| Details for WScT08 Leipzig May 17-19
| May 17 - May 19, 2008
| Details for the Workshop on Certified Termination in Leipzig.
|
Older news entries can be found on the news page.
