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