<div dir="ltr"><div dir="ltr"><div><font face="monospace">======================================================================</font></div><div><font face="monospace"><span style="white-space:pre-wrap">            </span>      WST 2021 - Call for Papers</font></div><div><font face="monospace"><span style="white-space:pre-wrap">  </span>      17th International Workshop on Termination</font></div><div><font face="monospace"><span style="white-space:pre-wrap">          </span>   <a href="http://costa.fdi.ucm.es/wst2021" target="_blank">http://costa.fdi.ucm.es/wst2021</a></font></div><div><font face="monospace"><br></font></div><div><font face="monospace"><span style="white-space:pre-wrap">       </span>     July 16, 2021, Pittsburgh, PA, United States</font></div><div><font face="monospace"><span style="white-space:pre-wrap">          </span>       Co-located with CADE-28</font></div><div><font face="monospace">======================================================================</font></div><div><font face="monospace"><br></font></div><div><font face="monospace">The Workshop on Termination (WST) traditionally brings together, in an</font></div><div><font face="monospace">informal   setting,  researchers   interested   in   all  aspects   of</font></div><div><font face="monospace">termination,  whether  this  interest  be  practical  or  theoretical,</font></div><div><font face="monospace">primary  or  derived.   The  workshop   also  provides  a  ground  for</font></div><div><font face="monospace">cross-fertilization of ideas from the different communities interested</font></div><div><font face="monospace">in termination (e.g., working on computational mechanisms, programming</font></div><div><font face="monospace">languages,  software  engineering,   constraint  solving,  etc.).  The</font></div><div><font face="monospace">friendly  atmosphere  enables  fruitful  exchanges  leading  to  joint</font></div><div><font face="monospace">research and subsequent publications.</font></div><div><font face="monospace"><br></font></div><div><font face="monospace"><br></font></div><div><font face="monospace">IMPORTANT DATES:</font></div><div><font face="monospace"><br></font></div><div><font face="monospace">  * submission deadline:  April 18, 2021</font></div><div><font face="monospace">  * notification:         May 23, 2021</font></div><div><font face="monospace">  * final version due:    June 13, 2021</font></div><div><font face="monospace">  * workshop:             July 16, 2021</font></div><div><font face="monospace"><br></font></div><div><font face="monospace"><br></font></div><div><font face="monospace">TOPICS:</font></div><div><font face="monospace"><br></font></div><div><font face="monospace">The 17th International Workshop  on Termination welcomes contributions</font></div><div><font face="monospace">on  all aspects  of termination.  In particular,  papers investigating</font></div><div><font face="monospace">applications  of  termination  (for example  in  complexity  analysis,</font></div><div><font face="monospace">program   analysis  and   transformation,  theorem   proving,  program</font></div><div><font face="monospace">correctness, modeling computational systems, etc.)  are very welcome.</font></div><div><font face="monospace"><br></font></div><div><font face="monospace">Topics of interest include (but are not limited to):</font></div><div><font face="monospace"><br></font></div><div><font face="monospace">  * abstraction methods in termination analysis</font></div><div><font face="monospace">  * certification of termination and complexity proofs</font></div><div><font face="monospace">  * challenging termination problems</font></div><div><font face="monospace">  * comparison and classification of termination methods</font></div><div><font face="monospace">  * complexity analysis in any domain</font></div><div><font face="monospace">  * implementation of termination methods</font></div><div><font face="monospace">  * non-termination analysis and loop detection</font></div><div><font face="monospace">  * normalization and infinitary normalization</font></div><div><font face="monospace">  * operational termination of logic-based systems</font></div><div><font face="monospace">  * ordinal notation and subrecursive hierarchies</font></div><div><font face="monospace">  * SAT, SMT, and constraint solving for (non-)termination analysis</font></div><div><font face="monospace">  * scalability and modularity of termination methods</font></div><div><font face="monospace">  * termination analysis in any domain (lambda calculus, declarative</font></div><div><font face="monospace">    programming, rewriting, transition systems, etc.)</font></div><div><font face="monospace">  * well-founded relations and well-quasi-orders</font></div><div><font face="monospace"><br></font></div><div><font face="monospace"><br></font></div><div><font face="monospace">SUBMISSION GUIDELINES:</font></div><div><font face="monospace"><br></font></div><div><font face="monospace">Submissions  are  short  papers/extended abstracts  which  should  not</font></div><div><font face="monospace">exceed 5 pages.  There will be no formal reviewing.  In particular, we</font></div><div><font face="monospace">welcome  short  versions of  recently  published  articles and  papers</font></div><div><font face="monospace">submitted  elsewhere.  The  program  committee  checks  relevance  and</font></div><div><font face="monospace">provides additional feedback for  each submission. The accepted papers</font></div><div><font face="monospace">will be made available electronically before the workshop.</font></div><div><font face="monospace"><br></font></div><div><font face="monospace">Papers should be submitted electronically via the submission page:</font></div><div><font face="monospace"><br></font></div><div><font face="monospace">     <a href="https://easychair.org/conferences/?conf=wst2021" target="_blank">https://easychair.org/conferences/?conf=wst2021</a></font></div><div><font face="monospace"><br></font></div><div><font face="monospace">Please, use LaTeX and the LIPIcs style file</font></div><div><font face="monospace"><br></font></div><div><font face="monospace">     <a href="http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz" target="_blank">http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz</a></font></div><div><font face="monospace"><br></font></div><div><font face="monospace">to prepare your submission.</font></div><div><font face="monospace"><br></font></div><div><font face="monospace"><br></font></div><div><font face="monospace">PROGRAM COMMITTEE:</font></div><div><font face="monospace"><br></font></div><div><font face="monospace">  * Martin Avanzini - INRIA Sophia, Antipolis</font></div><div><font face="monospace">  * Carsten Fuhs - Birkbeck, U. of London</font></div><div><font face="monospace">  * Samir Genaim (chair) - U. Complutense de Madrid</font></div><div><font face="monospace">  * Jürgen Giesl - RWTH Aachen</font></div><div><font face="monospace">  * Matthias Heizmann - U. of Freiburg</font></div><div><font face="monospace">  * Cynthia Kop - Radboud U. Nijmegen</font></div><div><font face="monospace">  * Salvador Lucas - U. Politècnica de València</font></div><div><font face="monospace">  * Étienne Payet - U. de La Réunion</font></div><div><font face="monospace">  * Albert Rubio -  U. Complutense de Madrid</font></div><div><font face="monospace">  * René Thiemann - U. of Innsbruck</font></div><div><font face="monospace">  * Johannes Waldmann - HTWK Leipzig</font></div><div><font face="monospace"><br></font></div><div><br></div></div></div>