UITP主页
定理证明器的用户界面
UITP’14:2014年7月17日
诉讼
这个EPTCS后期处理已发布！
概述
UITP系列研讨会汇集了对交互式证明系统接口的设计、开发和评估感兴趣的研究人员，如定理证明器、形式化方法工具以及其他操纵和呈现数学公式和证明的工具。该研讨会为有兴趣改进人类与证据系统交互的研究人员提供了一个论坛。我们欢迎定理证明、形式化方法和HCI社区的参与和贡献，以报告现有系统的经验，并讨论新的方向。
UITP的主题涵盖了定理证明器用户界面的所有领域，包括但不限于：
- 验证程序接口的特定于应用程序的交互机制或设计
- 标准器接口的实验和评估
- 用于编写、交换和呈现证据的语言和工具
- 实现技术（例如web服务、自定义中间件、DSL）
- 集成接口和工具以探索和构建证据
- 数学知识或对象的表示和操作
- 数学对象和证明的可视化
- 系统描述
可在研讨会系列主页上找到之前所有会议的列表：http://www.informatik.uni-bremen.de/uitp。
受邀演讲人
- 杰夫·萨特克利夫（迈阿密大学）
- Enrico Tassi（国立理工学院信息实验室）
文件征集
重要日期（初步）
- 论文提交时间：5月4日
- 作者通知：5月25日
- 期末论文：5月31日
- 研讨会：7月17日
组织
项目委员会