Termination Portal

Welcome

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

Additionally, the portal provide links for past and future [[WST|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!