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.
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
termtools@lists.rwth-aachen.de
-
Cynthia Kop