Johannes Waldmann | 15 Jul 10:22 2013

Workshop on Termination (deadline extension: July 22)

13th International Workshop on Termination (WST)

Centro Residenziale Universitario di Bertinoro (near Bologna, Italy)

    submission: July 22, 2013
    notification: July 25, 2013
    final version: August 10, 2013
    workshop: August 29 - 31, 2013

The Workshop on Termination traditionally brings together, in an
informal setting, researchers interested in all aspects of termination,
whether this interest be practical or theoretical, primary or derived.
The workshop also provides a ground for cross-fertilisation of ideas
from term rewriting and from the different programming language
communities. The friendly atmosphere enables fruitful exchanges leading
to joint research and subsequent publications.

The 13th Workshop on Termination will be held from August 29 to 31,
2013, at the Centro Residenziale Universitario di Bertinoro (Italy).

It will be a joint workshop, together with the 3rd International
Workshop on Foundational and Practical Aspects of Resource Analysis. The
sessions of WST and FOPARA will be interleaved, this way facilitating
the interaction between the two communities.

( complete CfP see )

(Continue reading)