Workshop: Automated Deduction in Education

One of the potential real-world applications of deduction systems is in mathematics education. Patrick Suppes’ education system is an early pioneer in this regard, for example, and while the potential has been mentioned in discussions at previous CADE conferences, currently there is renewed interest in this topic as well as several activities and projects within the CADE community.