Termination Portal
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 |
|---|---|---|
| Complexity Wiki Updated | June 22, 2010 | The wiki for the complexity category has been thoroughly re-designed, see Complexity |
| Termination Competition 2010 in July | July, 2010 | The Termination_Competition_2010 will be run during FLoC in July. |
| 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 |
Older news entries can be found on the news page.
