#thedu23 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #thedu23, aggregated by home.social.
-
#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
-
#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