[Termtools] [Termcomp] Termination Competition test run

[Aart Middeldorp]

Dear Johannes,

> I think there should be a competition steering committe meeting
> sometime during RTA, assuming most prover authors are present.
> But I don't see when, as the schedule is packed. Any suggestions?
> (I'd skip the Pflasterspektakel trip on Thursday
> but that's just me, I've see enough juggling already...
> also, Thursday is rather late in the week.)

I would welcome (and attend) such a meeting, provided it is
in Hagenberg. Do you want to restrict it to SC members? If
not, I would propose to ask Georg Moser to join since he
is keen to start a division on complexity analysis.

-- Aart