Difference between revisions of "Termination Portal"

From Termination-Portal.org
Jump to navigationJump to search
 
(37 intermediate revisions by 7 users not shown)
Line 1: Line 1:
= Welcome =
+
<!---'''The Termination Portal is moving.'''  Editing has been disabled for everyone to avoid data loss.
 +
----
 +
--->
 +
 
 
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.
 
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).
 
Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).
Line 8: Line 11:
 
[[: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), and
 
[[:Category:Tools|Tools]] (information about tools for automated termination analysis), and
[[:Category:References|References]] (publications related to termination analysis).  
+
[[:Category:Bibtex|References]] (publications related to termination analysis).  
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].
+
Additionally, the portal provides information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].
 +
 
 +
Have [[Suggestions]] to improve this web resource?
 +
- How to [[Contribute]].
  
 
=Recent News=
 
=Recent News=
 
+
* [[Termination Competition 2024]]
<dpl>
+
* [[Termination Competition 2023]]
 +
* [[19th International Workshop on Termination]]
 +
* [[Termination Competition 2022]]
 +
<DynamicPageList>
 
   category=News
 
   category=News
 
   shownamespace=false
 
   shownamespace=false
Line 19: Line 28:
 
   ordermethod=lastedit
 
   ordermethod=lastedit
 
   order=descending
 
   order=descending
</dpl>
+
   includepage={News}:date:text
 
+
   format      =,,\n,
 
+
  table      =class="wikitable",Caption,Date,Text
 
+
  tablerow    =|%%
=News=
+
</DynamicPageList>
<dpl>
+
Older news entries can be found on the [[:Category:News|news page]].
  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===[[%PAGE%|%TITLE%]]===\n|-\n|,\n|},
 
</dpl>
 
  
<dpl>
+
<!--
   category=News
+
=New Publications=
 +
<DynamicPageList>
 +
   category=BibtexNews
 
   shownamespace=false
 
   shownamespace=false
 
   count=10
 
   count=10
 
   ordermethod=lastedit
 
   ordermethod=lastedit
 
   order=descending
 
   order=descending
</dpl>
+
   includepage=%1[100]
 
 
<dpl>
 
  category=News
 
  count=10
 
  ordermethod=lastedit
 
  order=descending
 
   includepage ={News}:text:date:author:caption
 
 
   format      =,,\n,
 
   format      =,,\n,
   table      =border=1,Title,Text,Date,Author,Caption
+
   table      =class="wikitable",Name,Content
   tablerow    =|%%,|%%,|%%,|%%
+
   tablerow    =|%%
</dpl>
+
</DynamicPageList>
 
+
-->
http://semeb.com/dpldemo/index.php?title=Format#format
 
 
 
New namespaces have to be added in LocalSettings.php BEFORE the corresponding articles are created!
 

Latest revision as of 13:37, 16 January 2024


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 provides information about past and future workshops and competitions.

Have Suggestions to improve this web resource? - How to Contribute.

Recent News

Older news entries can be found on the news page.