Dear all, TermComp 2018 is shortly kicked off, and the live status can be watched at http://group-mmm.org/termination/competitions/21 If you are at FLoC, a live display is at the help desk in Mathematical Institute. Good luck, Akihisa & Johannes