CFP:THedu'13教育软件的TP组件

第二次征集扩展摘要

2013年4月教育软件的TP组件(http://www.uc.pt/en/congressos/thedu)2013年与CICM联名智能计算机数学会议8.-12. 2013年7月英国巴斯http://www.cicm-conference.org/2013/cicm.php

THedu'13范围

THedu是一个论坛，汇集了计算机定理证明（TP）、自动定理证明（ATP）、交互式定理证明（ITP）以及计算机代数系统（CAS）和动态几何系统（DGS）的研究团体。该联盟的目标是结合和关注这些领域的系统，增强现有的教育软件，并研究下一代机械化数学助理的设计。

重要日期：

• 扩展摘要：2013年5月6日
• 作者通知：2013年6月3日
• 最终版本：2013年6月15日
• 工作日：（待定，7月8日至12日）
• 诉讼后（EPTCS）：2013年10月15日

(https://www.easychair.org/conferences/？conf=thedu13)