Dear all,
To clarify my last mail:
* To participate in the tool session on WST 2022, please submit the title+abstract of your talk by 18 June. * If you additionally wish to submit an extended abstract to be included in the proceedings, this should be submitted by *11 July* (but is not mandatory). * Presenting at WST 2022 is not required to participate in the termination and complexity competition, although we of course hope that you will!
Cynthia.
On 6/2/22 09:55, Cynthia Kop wrote:
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.
Termtools mailing list --termtools@lists.rwth-aachen.de To unsubscribe send an email totermtools-leave@lists.rwth-aachen.de