[Termtools] [Termcomp] Termination Competition test run

[Johannes Waldmann]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Yes, my idea was to have the meeting in Hagenberg.

| Do you want to restrict it to SC members?

No, I think it should be open to all interested parties.
We have the bylaw that only SC members can vote,
but I'm sure that all input is welcome.

| If not, I would propose to ask Georg Moser to join since he
| is keen to start a division on complexity analysis.

That's fine. Ideally, we'd like a  draft proposal that would show
the indended semantics. I'll open a separate email thread for that.

Best regards, Johannes.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.4-svn0 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFIdPL8DqiTJ5Q4dm8RAsmpAKCWNSS45v9cV2WlMkHJc152JbVFhwCfUEVS
S1Cmmy+Ia4YwosWlPeQIFSM=
=rc5H
-----END PGP SIGNATURE-----