Difference between revisions of "Termination Portal"
| Line 6: | Line 6: | ||
of termination analysis. | of termination analysis. | ||
| − | The main sections are | + | The main sections are [[:Category:People|People]] (information about researchers in termination analysis), |
| − | + | [[:Category:News|News]]: (information about events and new publications), and | |
| − | + | [[:Category:Tools|Tools]]: (information about tools for automated termination analysis). | |
| − | + | Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]]. | |
| − | |||
| − | Additionally, the portal provide | ||
=News= | =News= | ||
Revision as of 13:53, 29 March 2008
Welcome to the World of Termination
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), and Tools: (information about tools for automated termination analysis). Additionally, the portal provide information about past and future workshops and competitions.
News
<dpl>
category=News
shownamespace=false
count=10
ordermethod=lastedit
order=descending
mode=userformat
includepage={News}:text:date:author:caption
listseparators=,\n{|border="1"\n|colspan="4" align="center"|\n===%TITLE%===\n|-\n|,\n|},
</dpl>
http://semeb.com/dpldemo/index.php?title=Format#format
New namespaces have to be added in LocalSettings.php BEFORE the corresponding articles are created!
