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