Difference between revisions of "Termination Portal"
From Termination-Portal.org
Jump to navigationJump to search| Line 5: | Line 5: | ||
The main sections are: | The main sections are: | ||
| − | * [[Category:People|People]]: information about researchers in termination analysis | + | * [[:Category:People|People]]: information about researchers in termination analysis |
| − | * [[Category:News|News]]: information about events and new publications | + | * [[:Category:News|News]]: information about events and new publications |
| − | * [[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 workshops and competitions. | Additionally, the portal provide links for past and future workshops and competitions. | ||
Revision as of 13:37, 29 March 2008
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:
- 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!
