Termination Portal

From Termination-Portal.org
Revision as of 13:38, 29 March 2008 by Admin (talk | contribs) (Main Page moved to Termination Portal)
Jump to navigationJump to search

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 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!