[Termtools] WScT08, Leipzig, May 17--19

[Johannes Waldmann]

Dear colleagues,

please register for the Workshop on Certified Termination
that we'll have in Leipzig, Germany, 17--19 May 2008.

Details are here: http://termination-portal.org/wiki/WScT08

I try to make it "self-organizing" (within reason):
use your Wiki account to edit the list of participants,
schedule of talks, etc.

See you there! Best regards, Johannes Waldmann.