17th International Workshop on Termination - WST 2020

The plan is to co-locate with IJCAR and FSCD 2020, Paris (France), June/July, 2020.