[Termtools] invitation for tool presentations at WST 2022

Hello all, We would like to extend an invitation to authors of termination or complexity tools to give a presentation at WST 2022 on 11-12 August, 2022 in Haifa. To participate, please submit a title and abstract by *18 June*. Tool presentations will be 5-20 minutes (to your preference). Submissions should be made at https://easychair.org/conferences/?conf=wst22 Participants are additionally invited to submit a 1-2 page extended abstract, to be included in the (informal) proceedings. This is not mandatory for participation. Hoping to see you at WST! Cynthia Kop.