WST 2016

15th International Workshop on Termination

September 5-7, 2016, Obergurgl, Austria


The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from term rewriting and from the different programming language communities. The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications.

The 15th International Workshop on Termination in Obergurgl continues the successful workshops held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle (2006), Paris (2007), Leipzig (2009), Edinburgh (2010), Obergurgl (2012), Bertinoro (2013), and Vienna (2014). WST 2016 is part of the week-long event Computational Logic in the Alps. Information on earlier termination workshops is available on the Termination Portal.

Important Dates

submission: June 22, 2016
notification: July 12, 2016
final version:   August 3, 2016
workshop: September 5 – 7, 2016


Topics of interest include all aspects of termination. This includes (but is not limited to):


There will be a live complexity and termination competition during the workshop, including time to present both the results and the tools of the participants.


We solicit short papers and extended abstracts of at most 5 pages in LIPIcs style. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers must be submitted electronically via the EasyChair submission site.

Program Committee

Ugo Dal Lago Bologna University
Jörg Endrullis VU University Amsterdam  
Yukiyoshi Kameyama   University of Tsukuba
Salvador Lucas Universidad Politécnica de Valencia
Aart Middeldorp   University of Innsbruck (co-chair)
Thomas Ströder RWTH Aachen
René Thiemann   University of Innsbruck   (co-chair)
Andreas Weiermann   Ghent University

Invited Speaker

Reiner Hähnle   TU Darmstadt (slides) Refined Resource Analysis Based on Cost Relations


There will be 13 regular presentations at WST 2016: