<div dir="ltr"><div class="gmail_quote"><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>
</div><br></div>