Difference between revisions of "Termination Portal"
From Termination-Portal.org
Jump to navigationJump to search| Line 1: | Line 1: | ||
| − | = | + | =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: | |
| − | + | * [[Category:People|People]]: information about researchers in termination analysis | |
| − | + | * [[Category:News|News]]: information about events and new publications | |
| − | + | * [[Category:Tools|Tools]]: information about tools for automated termination analysis | |
| − | + | ||
| − | + | Additionally, the portal provide links for past and future workshops and competitions. | |
=News= | =News= | ||
Revision as of 13:20, 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:
- 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!
