Difference between revisions of "Termination Portal"

From Termination-Portal.org
Jump to navigationJump to search
Line 14: Line 14:
  
 
=Recent News=
 
=Recent News=
<DynamicPageList>
+
<DPL>
 
   category=News
 
   category=News
 
   shownamespace=false
 
   shownamespace=false
Line 24: Line 24:
 
   table      =class="wikitable",Caption,Date,Text
 
   table      =class="wikitable",Caption,Date,Text
 
   tablerow    =|%%
 
   tablerow    =|%%
</DynamicPageList>
+
</DPL>
 
Older news entries can be found on the [[:Category:News|news page]].
 
Older news entries can be found on the [[:Category:News|news page]].
  

Revision as of 08:47, 27 June 2012

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 provides information about past and future workshops and competitions.

Have Suggestions to improve this web resource? - How to Contribute.

Recent News

<DPL>

 category=News
 shownamespace=false
 count=10
 ordermethod=lastedit
 order=descending
 includepage={News}:date:text
 format      =,,\n,
 table       =class="wikitable",Caption,Date,Text
 tablerow    =|%%

</DPL> Older news entries can be found on the news page.