ThEdu'19 is the 8th edition of the Theorem Proving Components for Educational Software workshop.
You can find ThEdu previous editions here.