15th Int. Workshop on Termination

Please consider submitting a paper to the International Workshop on Termination (WST) 2016; submission deadline June 22, 2016.