Dear all,

the collection of extended abstracts for the contributions to the VerifyThis Long Term Challenge have been published as a technical report at KIT.

You can find the proceedings here!