<div dir="ltr"><div style="font-family:arial,sans-serif;font-size:16.363636016845703px;text-align:center"><b style="font-size:large">Termination Competition 2014</b></div><div style="font-family:arial,sans-serif;font-size:16.363636016845703px;text-align:center">
July 15-20</div><div style="font-family:arial,sans-serif;font-size:16.363636016845703px;text-align:center"><br></div><div style="font-family:arial,sans-serif;font-size:16.363636016845703px;text-align:center"><a href="http://www.termination-portal.org/wiki/Termination_Competition_2014" target="_blank">http://www.termination-portal.org/wiki/Termination_Competition_2014</a><a href="http://www.termination-portal.org/wiki/Termination_Competition_2014" target="_blank"><br>
</a></div><div style="font-family:arial,sans-serif;font-size:16.363636016845703px;text-align:center"><br></div><div style="font-family:arial,sans-serif;font-size:16.363636016845703px;text-align:center"><br></div><b style="font-family:arial,sans-serif;font-size:16.363636016845703px"><div style="text-align:center">
<b>Call for Participation</b></div></b><br style="font-family:arial,sans-serif;font-size:16.363636016845703px"><span style="font-family:arial,sans-serif;font-size:16.363636016845703px">In the last decade, many research groups developed tools for fully automated termination analysis.</span><br style="font-family:arial,sans-serif;font-size:16.363636016845703px">
<br style="font-family:arial,sans-serif;font-size:16.363636016845703px"><span style="font-family:arial,sans-serif;font-size:16.363636016845703px">After a tool demonstration at the 2003 Termination Workshop in Valencia, the community decided to start an annual termination</span><br style="font-family:arial,sans-serif;font-size:16.363636016845703px">
<span style="font-family:arial,sans-serif;font-size:16.363636016845703px">competition to spur the development of tools and termination techniques.</span><br style="font-family:arial,sans-serif;font-size:16.363636016845703px">
<br style="font-family:arial,sans-serif;font-size:16.363636016845703px"><span style="font-family:arial,sans-serif;font-size:16.363636016845703px">The termination competition focuses on automated termination analysis for all kinds of programming paradigms, including categories for term rewriting, imperative programming, logic programming, and functional programming. Moreover, there will also be categories for automated complexity analysis. In all categories, we also welcome the participation of tools providing certified proofs. The goal of the termination competition is to demonstrate the power of the leading tools in each of these areas.</span><br style="font-family:arial,sans-serif;font-size:16.363636016845703px">
<br style="font-family:arial,sans-serif;font-size:16.363636016845703px"><span style="font-family:arial,sans-serif;font-size:16.363636016845703px">The competition will be part of the FLoC Olympic Games (</span><a href="http://vsl2014.at/olympics/" target="_blank" style="font-family:arial,sans-serif;font-size:16.363636016845703px">http://vsl2014.at/olympics/</a><span style="font-family:arial,sans-serif;font-size:16.363636016845703px">).</span><span style="font-family:arial,sans-serif;font-size:16.363636016845703px"> It will take place "live" during FLoC at the Vienna Summer of Logic during the IJCAR, CAV, and ICLP conferences. The competition will be run on the StarExec platform (</span><a href="http://www.starexec.org/" target="_blank" style="font-family:arial,sans-serif;font-size:16.363636016845703px">http://www.starexec.org/</a><span style="font-family:arial,sans-serif;font-size:16.363636016845703px">).</span><br style="font-family:arial,sans-serif;font-size:16.363636016845703px">
<br style="font-family:arial,sans-serif;font-size:16.363636016845703px"><span style="font-family:arial,sans-serif;font-size:16.363636016845703px">In every category, all participating tools of that category are run on a randomly selected subset of the available problems. A category is only run if there are at least 2 participants and at least 40 examples for this category in the underlying termination problem data base.</span><br style="font-family:arial,sans-serif;font-size:16.363636016845703px">
<br style="font-family:arial,sans-serif;font-size:16.363636016845703px"><span style="font-family:arial,sans-serif;font-size:16.363636016845703px">We strongly encourage all developers of termination tools to participate in the competition. Moreover, tools are also encouraged to participate in as many categories of the competition as possible.</span><br style="font-family:arial,sans-serif;font-size:16.363636016845703px">
<br style="font-family:arial,sans-serif;font-size:16.363636016845703px"><span style="font-family:arial,sans-serif;font-size:16.363636016845703px">If there is no category that is convenient for your tool, you can contact the organizers, since other categories can be considered as well if enough participants are guaranteed.</span><br style="font-family:arial,sans-serif;font-size:16.363636016845703px">
<br style="font-family:arial,sans-serif;font-size:16.363636016845703px"><span style="font-family:arial,sans-serif;font-size:16.363636016845703px">We also encourage the submission of termination problems, especially problems that come from applications.</span><br style="font-family:arial,sans-serif;font-size:16.363636016845703px">
<br style="font-family:arial,sans-serif;font-size:16.363636016845703px"><span style="font-family:arial,sans-serif;font-size:16.363636016845703px">For further information, we refer to the website of the termination competition: </span><a href="http://www.termination-portal.org/wiki/Termination_Competition_2014" target="_blank" style="font-family:arial,sans-serif;font-size:16.363636016845703px">http://www.termination-portal.org/wiki/Termination_Competition_2014</a><br style="font-family:arial,sans-serif;font-size:16.363636016845703px">
<br style="font-family:arial,sans-serif;font-size:16.363636016845703px"><br style="font-family:arial,sans-serif;font-size:16.363636016845703px"><u style="font-family:arial,sans-serif;font-size:16.363636016845703px">Important dates</u><div style="font-family:arial,sans-serif;font-size:16.363636016845703px">
<ul><li style="margin-left:15px">Tool Registration: June 15, 2014</li><li style="margin-left:15px">Problem Submission: July 1, 2014</li><li style="margin-left:15px">Competition: July 15-20, 2014</li><li style="margin-left:15px">
Announcement of Results: July 21, 2014</li></ul></div></div>