WST 2016
15th International Workshop on Termination
September 5-7, 2016, Obergurgl, Austria
Competition
There will be a live complexity and termination competition during the workshop, including time to present both the results and the tools of the participants.