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!