Difference between revisions of "Termination Portal"
From Termination-Portal.org
Jump to navigationJump to search| Line 1: | Line 1: | ||
| − | = | + | = Welcome = |
This portal aims to provide the research community with up-to-date information about the field | This portal aims to provide the research community with up-to-date information about the field | ||
Revision as of 13:38, 29 March 2008
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!
