[Termtools] [Termcomp] Termination Competition test run

[Juergen Giesl]

Dear Johannes,


Aart Middeldorp wrote:
> 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. 

Same for me. For me, it doesn't really matter on which day
the meeting is.

Best Regards
Juergen