<div dir="ltr"><font face="monospace">==========================================================================<br>                           WST 2020 - Call for Papers<br>                    17th International Workshop on Termination<br>                        <a href="http://costa.fdi.ucm.es/wst2020" target="_blank">http://costa.fdi.ucm.es/wst2020</a><br><br>                         July 4-5, 2020, Paris, France<br>                      co-located with IJCAR and FSCD 2020.<br>==========================================================================<br><br>The Workshop on Termination (WST) traditionally brings together, in an<br>informal setting, researchers interested in all aspects of termination,<br>whether this interest be practical or theoretical, primary or derived.<br>The workshop also provides a ground for cross-fertilization of ideas from<br>the different communities interested in termination (e.g., working on<br>computational mechanisms, programming languages, software engineering,<br>constraint solving, etc.). The friendly atmosphere enables fruitful<br>exchanges leading to joint research and subsequent publications.<br><br>The workshop is co-located with IJCAR and FSCD 2020.<br><br>    <a href="https://ijcar2020.org/" target="_blank">https://ijcar2020.org/</a>  <a href="https://fscd2020.org/" target="_blank">https://fscd2020.org/</a><br><br>IMPORTANT DATES:<br><br>  * submission deadline:  April 12, 2020<br>  * notification:         May 10, 2020<br>  * final version due:    May 31, 2020<br>  * workshop:             July 4-5, 2020<br><br>TOPICS: The 17th International Workshop on Termination welcomes<br>contributions on all aspects of termination. In particular, papers<br>investigating applications of termination (for example in complexity<br>analysis, program analysis and transformation, theorem proving, program<br>correctness, modeling computational systems, etc.) are very welcome.<br><br>Topics of interest include (but are not limited to):<br><br>  * abstraction methods in termination analysis<br>  * certification of termination and complexity proofs<br>  * challenging termination problems<br>  * comparison and classification of termination methods<br>  * complexity analysis in any domain<br>  * implementation of termination methods<br>  * non-termination analysis and loop detection<br>  * normalization and infinitary normalization<br>  * operational termination of logic-based systems<br>  * ordinal notation and subrecursive hierarchies<br>  * SAT, SMT, and constraint solving for (non-)termination analysis<br>  * scalability and modularity of termination methods<br>  * termination analysis in any domain (lambda calculus, declarative<br>    programming, rewriting, transition systems, etc.)<br>  * well-founded relations and well-quasi-orders<br><br>COMPETITION: Since 2003, the catalytic effect of WST to stimulate<br>new research on termination has been enhanced by the celebration<br>of the Termination Competition and its continuously developing<br>problem databases containing thousands of programs as challenges<br>for termination analysis in different categories, see<br><br>    <a href="http://termination-portal.org/wiki/Termination_Competition" target="_blank">http://termination-portal.org/wiki/Termination_Competition</a><br><br>In 2020, the Termination Competition will run shortly before WST and<br>the main venues (IJCAR-FSCD), and the results will be presented at<br>IJCAR or FSCD.<br><br><br>PROGRAM COMMITTEE:<br><br>   Martin Avanzini - INRIA Sophia, Antipolis<br>     Florian Frohn - Max-Planck-Institut für Informatik, Saarbrücken<br>     Carsten Fuhs - Birkbeck, U. of London<br> Samir Genaim (chair) - U. Complutense de Madrid<br>       Jürgen Giesl - RWTH Aachen<br>   Matthias Heizmann - U. of Freiburg<br>    Cynthia Kop - Radboud U. Nijmegen<br>     Salvador Lucas - U. Politècnica de València<br> Étienne Payet - U. de La Réunion<br>    Albert Rubio -  U. Complutense de Madrid<br>     René Thiemann - U. of Innsbruck<br>      Johannes Waldmann - HTWK Leipzig<br><br>INVITED SPEAKERS:<br>     tba<br><br>SUBMISSION: Submissions are short papers/extended abstracts which<br>should not exceed 5 pages. There will be no formal reviewing. In<br>particular, we welcome short versions of recently published articles<br>and papers submitted elsewhere. The program committee checks relevance<br>and provides additional feedback for each submission. The accepted<br>papers will be made available electronically before the workshop.<br><br>Papers should be submitted electronically via the submission page:<br><br>     <a href="https://easychair.org/conferences/?conf=wst2020" target="_blank">https://easychair.org/conferences/?conf=wst2020</a><br><br>Please, use LaTeX and the LIPIcs style file<br><br>     <a href="http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz" target="_blank">http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz</a><br><br>to prepare your submission.</font><br></div>