[Termtools] Workshop on Termination 2013 (update)

[Johannes Waldmann]

Dear all,

for the upcoming Workshop on Termination in Bertinoro:

* submission deadline extended by one week, to July 22.
* early registration deadline is expected around August 4.

http://www.imn.htwk-leipzig.de/WST2013/

- Johannes.