WST 2016

15th International Workshop on Termination

September 5-7, 2016, Obergurgl, Austria


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.