第九届教育软件定理证明组件国际研讨会会议录
人工智能
2020-10-30 v1
摘要
第九届教育软件定理证明组件国际研讨会（ThEdu'20）原定于 6 月 29 日作为 IJCAR-FSCD 2020 联合会议的卫星会议在巴黎举行。然而，COVID-19 疫情突如其来，主会议改为线上。鉴于担心在线会议无法让我们的社群充分重现 ThEdu 倡议通常的面对面交流机会，ThEdu 指导委员会决定取消我们的研讨会。考虑到我们许多人已为此筹划并付出努力，我们决定 ThEdu'20 仍可以 EPTCS 卷的形式存续。EPTCS 认同这一非常特殊的情况，并接受我们组织一期收录投至 ThEdu'20 论文的特刊的提议。随后发布公开征稿，收到五篇投稿，我们的审稿人对全部五篇均予接受，且对每篇贡献给出了三份审慎报告。修订后的论文收录于本卷中。我们，本卷编辑，希望本论文集有助于进一步促进基于定理证明的软件的发展，并增进计算机数学家与教育利益相关方之间的相互理解。若有些许运气，我们实则期望这场世纪最严重卫生危机所造就的特殊境况，反倒会强化对认证组件与验证方法应用于教育软件生产的需求，此类软件即便在传统现场学习体验不宜推荐时亦可使用。
引用
@article{arxiv.2010.15832,
title = {Proceedings 9th International Workshop on Theorem Proving Components for Educational Software},
author = {Pedro Quaresma and Walther Neuper and João Marcos},
journal= {arXiv preprint arXiv:2010.15832},
year = {2020}
}