http://termination-portal.org/mediawiki/api.php?action=feedcontributions&feedformat=atom&user=Davidkor 2026-05-28T15:22:39Z User contributions MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=Termination_Portal&diff=1835 2020-05-08T10:00:30Z

<p>Davidkor: </p> <hr /> <div>&lt;!---'''The Termination Portal is moving.''' Editing has been disabled for everyone to avoid data loss.<br /> ----<br /> ---&gt;<br /> <br /> 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.<br /> Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).<br /> <br /> This portal aims to provide the research community with up-to-date information about the field<br /> of termination analysis.<br /> The main sections are [[:Category:People|People]] (information about researchers in termination analysis),<br /> [[:Category:News|News]] (information about events and new publications),<br /> [[:Category:Tools|Tools]] (information about tools for automated termination analysis), and<br /> [[:Category:Bibtex|References]] (publications related to termination analysis). <br /> Additionally, the portal provides information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].<br /> <br /> Have [[Suggestions]] to improve this web resource?<br /> - How to [[Contribute]].<br /> <br /> =Recent News=<br /> &lt;DynamicPageList&gt;<br /> category=News<br /> shownamespace=false<br /> count=10<br /> ordermethod=lastedit<br /> order=descending<br /> includepage={News}:date:text<br /> format =,,\n,<br /> table =class=&quot;wikitable&quot;,Caption,Date,Text<br /> tablerow =|%%<br /> &lt;/DynamicPageList&gt;<br /> Older news entries can be found on the [[:Category:News|news page]].<br /> <br /> &lt;!--<br /> =New Publications=<br /> &lt;DynamicPageList&gt;<br /> category=BibtexNews<br /> shownamespace=false<br /> count=10<br /> ordermethod=lastedit<br /> order=descending<br /> includepage=%1[100]<br /> format =,,\n,<br /> table =class=&quot;wikitable&quot;,Name,Content<br /> tablerow =|%%<br /> &lt;/DynamicPageList&gt;<br /> --&gt;</div>

Davidkor http://termination-portal.org/mediawiki/index.php?title=Termination_Portal&diff=1834 2020-01-21T12:33:57Z

<p>Davidkor: </p> <hr /> <div>'''The Termination Portal is moving.''' Editing has been disabled for everyone to avoid data loss.<br /> ----<br /> <br /> 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.<br /> Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).<br /> <br /> This portal aims to provide the research community with up-to-date information about the field<br /> of termination analysis.<br /> The main sections are [[:Category:People|People]] (information about researchers in termination analysis),<br /> [[:Category:News|News]] (information about events and new publications),<br /> [[:Category:Tools|Tools]] (information about tools for automated termination analysis), and<br /> [[:Category:Bibtex|References]] (publications related to termination analysis). <br /> Additionally, the portal provides information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].<br /> <br /> Have [[Suggestions]] to improve this web resource?<br /> - How to [[Contribute]].<br /> <br /> =Recent News=<br /> &lt;DynamicPageList&gt;<br /> category=News<br /> shownamespace=false<br /> count=10<br /> ordermethod=lastedit<br /> order=descending<br /> includepage={News}:date:text<br /> format =,,\n,<br /> table =class=&quot;wikitable&quot;,Caption,Date,Text<br /> tablerow =|%%<br /> &lt;/DynamicPageList&gt;<br /> Older news entries can be found on the [[:Category:News|news page]].<br /> <br /> &lt;!--<br /> =New Publications=<br /> &lt;DynamicPageList&gt;<br /> category=BibtexNews<br /> shownamespace=false<br /> count=10<br /> ordermethod=lastedit<br /> order=descending<br /> includepage=%1[100]<br /> format =,,\n,<br /> table =class=&quot;wikitable&quot;,Name,Content<br /> tablerow =|%%<br /> &lt;/DynamicPageList&gt;<br /> --&gt;</div>

Davidkor