Difference between revisions of "Termination Portal"
From Termination-Portal.org
Jump to navigationJump to searchm (→Welcome) |
|||
| Line 9: | Line 9: | ||
* [[:Category:Tools|Tools]]: information about tools for automated termination analysis | * [[:Category:Tools|Tools]]: information about tools for automated termination analysis | ||
| − | Additionally, the portal provide links for past and future [[WST|workshops] and [[Termination Competition|competitions]]. | + | Additionally, the portal provide links for past and future [[WST|workshops]] and [[Termination Competition|competitions]]. |
=News= | =News= | ||
Revision as of 13:46, 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!
