[Haskell-cafe] Workshop on Termination (deadline: July 22)

[Johannes Waldmann]

Dear all.

Still one week to go: submit your results and questions on all things
related to termination and bounded resource consumption
(of user programs, of type checkers, etc.)
to the Workshop on Termination. We are specifically encouraging
contributions from the Haskell (and Agda, and Idris) community.

- Johannes.

#################################################################

13th International Workshop on Termination (WST)

( full CfP see http://www.imn.htwk-leipzig.de/WST2013/ )

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.



-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 263 bytes
Desc: OpenPGP digital signature
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130715/29a835aa/attachment.pgp>