<div dir="ltr"><div><font face="monospace">======================================================================<br>                      WST 2021 - Call for Papers<br>              17th International Workshop on Termination<br>                   <a href="http://costa.fdi.ucm.es/wst2021" target="_blank">http://costa.fdi.ucm.es/wst2021</a><br><br>             July 16, 2021, Pittsburgh, PA, United States<br>                       Co-located with CADE-28<br><br>                 <b>*** The workshop will be virtual ***<br></b>======================================================================<br><br><b>[The submission deadline was extended to May 9, 2021].<br></b><br>The Workshop on Termination (WST) traditionally brings together, in an<br>informal   setting,  researchers   interested   in   all  aspects   of<br>termination,  whether  this  interest  be  practical  or  theoretical,<br>primary  or  derived.   The  workshop   also  provides  a  ground  for<br>cross-fertilization of ideas from the different communities interested<br>in termination (e.g., working on computational mechanisms, programming<br>languages,  software  engineering,   constraint  solving,  etc.).  The<br>friendly  atmosphere  enables  fruitful  exchanges  leading  to  joint<br>research and subsequent publications.<br><br><br>IMPORTANT DATES:<br><br><b>  * submission deadline:  May 9, 2021</b> (extended)<br>  * notification:         June 6, 2021<br>  * final version due:    June 20, 2021<br>  * workshop:             July 16, 2021<br><br><br>INVITED SPEAKERS:<br><br>  TBA<br><br><br>TOPICS:<br><br>The 17th International Workshop  on Termination welcomes contributions<br>on  all aspects  of termination.  In particular,  papers investigating<br>applications  of  termination  (for example  in  complexity  analysis,<br>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><br>SUBMISSION GUIDELINES:<br><br>Submissions  are  short  papers/extended abstracts  which  should  not<br>exceed 5 pages.  There will be no formal reviewing.  In particular, we<br>welcome  short  versions of  recently  published  articles and  papers<br>submitted  elsewhere.  The  program  committee  checks  relevance  and<br>provides additional feedback for  each submission. The accepted papers<br>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=wst2021" target="_blank">https://easychair.org/conferences/?conf=wst2021</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.<br><br><br>PROGRAM COMMITTEE:<br><br>  * Martin Avanzini - INRIA Sophia, Antipolis<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><br></font><br></div></div>