Termination Portal

From Termination-Portal.org
Revision as of 13:20, 29 March 2008 by Nowonder (talk | contribs)
Jump to navigationJump to search

Termination Portal

This portal aims to provide the research community with up-to-date information about the field of termination analysis.

The main sections are:

  • information about researchers in termination analysis
    information about events and new publications
    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!

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Termination_Portal&oldid=110"