Difference between revisions of "Termination Portal"

From Termination-Portal.org
Jump to navigationJump to search
Line 11: Line 11:
 
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].
 
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].
  
=Recent News=
+
=News=
 
<dpl>
 
<dpl>
 
   category=News
 
   category=News
Line 18: Line 18:
 
   ordermethod=lastedit
 
   ordermethod=lastedit
 
   order=descending
 
   order=descending
   addfirstcategorydate=true
+
   mode=userformat
 +
  includepage={News}:text:date:author:caption
 +
  listseparators=,\n{|border="1"\n|colspan="4" align="center"|\n===[[%PAGE%|%TITLE%]]===\n|-\n|,\n|},
 
</dpl>
 
</dpl>
  
=Recent References=
 
 
<dpl>
 
<dpl>
   category=Bibtex
+
   category=News
 
   shownamespace=false
 
   shownamespace=false
 
   count=10
 
   count=10
 
   ordermethod=lastedit
 
   ordermethod=lastedit
 
   order=descending
 
   order=descending
  addfirstcategorydate=true
 
 
</dpl>
 
</dpl>
 +
 +
<dpl>
 +
  category=News
 +
  includepage ={News}:text:date:author:caption
 +
  format      =,,\n,
 +
  table      =border=1,Title,Text,Date,Author,Caption
 +
  tablerow    =|%%,|%%,|%%,|%%
 +
</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!

Revision as of 16:52, 29 March 2008

Welcome

Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases. Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).

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), and References (publications related to termination analysis). Additionally, the portal provide information about 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>

<dpl>

 category=News
 shownamespace=false
 count=10
 ordermethod=lastedit
 order=descending

</dpl>

<dpl>

 category=News
 includepage ={News}:text:date:author:caption
 format      =,,\n,
 table       =border=1,Title,Text,Date,Author,Caption
 tablerow    =|%%,|%%,|%%,|%%

</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!