WST 2013 - 13th International Workshop on Termination, WST 2013

WST 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 13th International Workshop on Termination will be held from August 29 to 31, 2013, at the Centro Residenziale Universitario di Bertinoro .
It will be a joint workshop, together with Foundational and Practical Aspects of Resource Analysis (cf. FOPARA11).
The sessions of the two workshops will be interleaved (something like: one/two session(s) of FOPARA, followed by one(two) session(s) of WST, etc.), this way facilitating the interaction between the two communities.
Scientifically, the two workshops would stay separate: one PC each, separate proceedings (handled differently), etc.
A WST program committee is being assembled. WST chair is Johannes Waldmann. FOPARA is chaired by Ugo Dal Lago, who also will coordinate the local organization, and Ricardo Pena.