[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.