ThEdu'23 call for papers
Call for Extended Abstracts & Demonstrations ************************************************************************** ThEdu'23 Theorem proving components for Educational software 5 July 2023 http://www.uc.pt/en/congressos/thedu/ThEdu23 ************************************************************************** at CADE 2023 29th international Conference on Automated Deduction July 1-5, 2023 Co-Located with FSCD 2023 Rome, Italy ************************************************************************** THedu'23 Scope: Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The work...