News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps