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.

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 to termtools-leave@lists.rwth-aachen.de