Difference between revisions of "Termination Portal"
J.waldmann (talk | contribs) |
(commented publications listing as this is not up to date at all) |
||
| Line 26: | Line 26: | ||
Older news entries can be found on the [[:Category:News|news page]]. | Older news entries can be found on the [[:Category:News|news page]]. | ||
| + | <!-- | ||
=New Publications= | =New Publications= | ||
<dpl> | <dpl> | ||
| Line 38: | Line 39: | ||
tablerow =|%% | tablerow =|%% | ||
</dpl> | </dpl> | ||
| + | --> | ||
Revision as of 09:08, 10 November 2008
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.
How to Contribute to this web resource. -- Suggestions and Corrections.
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.
