ThEdu 2017 - Theorem proving components for Educational software
- 45th BARCELONA International Congress on “AI and Educational Technology: Innovations & Challenges” (AIET-25) Aug. 11-13, 2025 Barcelona (Spain)
- 11th International Conference on Frontiers of Educational Technologies (ICFET 2025)
- 38th Global Conference on “AI and Educational Technology: Innovations and Challenges” (GAIET-25)
- 8th International Conference on Educational Technology Management (ICETM 2025)
- 18th International Conference on Information Society (i-Society 2025)
Topics/Call fo Papers
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 workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems.
Topics of interest include:
methods of automated deduction applied to checking students' input;
methods of automated deduction applied to prove post-conditions for particular problem solutions;
combinations of deduction and computation enabling systems to propose next steps;
automated provers specific for dynamic geometry systems;
proof and proving in mathematics education.
Topics of interest include:
methods of automated deduction applied to checking students' input;
methods of automated deduction applied to prove post-conditions for particular problem solutions;
combinations of deduction and computation enabling systems to propose next steps;
automated provers specific for dynamic geometry systems;
proof and proving in mathematics education.
Other CFPs
- International Conference on Advanced Mechatronics,Intelligent Manufacture And Industrial Automation
- Applied Nanotechnology and Nanoscience International Conference 2017
- The 2017 2nd International conference on Civil, Structure, Environmental Engineering
- Connect Security World, Embedding Trust in IoT Systems and Connected Hardware
- Risk Based Thinking in and Beyond ISO 9001:2015
Last modified: 2017-02-21 23:51:02