[Termtools] WST 2018 - Call for short system descriptions

[Salvador Lucas]

Dear tool authors,

As part of the WST 2018 program

    https://easychair.org/smart-program/FLoC2018/WST-program.html

there is a session (on Wednesday, July 18th, from 16:00 to 18:00)
devoted to the

   Termination and Complexity Competition (TerComp 2018)

which will be held as part of the FLoC 2018 Olympic Games in Oxford.

During this session, there will be the possibility to give a short
presentation about your tool of about 5 minutes.

In addition, as in the last edition of WST in Obergurgl (WST 2016),
a very short (one page) system description will be included in the
informal WST 2018 proceedings. Please, take a look to the 'Tool Papers'
section of the WST 2016 proceedings

    http://cl-informatik.uibk.ac.at/workspace/events/wst2016.pdf

to see examples of such short system descriptions.

This is an opportunity to highlight the new/special features of your
tool. I encourage you to participate!

Please send a tar/tgz/zip file containing the PDF and latex source of
a *one page* document in LIPIcs format

https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/

to <slucas at dsic.upv.es> before

    July 2, 2018


Best regards,

Salvador.