#CallForContributions #ThEdu23 (Theorem proving components for Educational software) "brings together experts in automated deduction with experts in education in order to further clarify the shape of a new software generation and to discuss existing systems" https://www.uc.pt/en/congressos/thedu/ThEdu23/cfp #ATP #CSEd #CSEducation