您必须启用JavaScript才能使用此网站
-
NatFoM 2021-自然形式数学研讨会
研讨会将使用与CICM会议相同的登录详细信息进行。
在数学中,一直存在着一种强烈的非正式的“自然主义”意识。自然理论、概念、性质或证明优先于技术性的、复杂的或违反直觉的方法。如果形式数学要成为主流数学的一部分,那么它的形式化和用户体验就必须变得更加自然。这个研讨会在2020年第一版之后,广泛讨论了形式数学中的自然性问题。
感兴趣的主题包括(但不限于):
- 数学中的自然性概念
- 形式数学系统的自然输入输出语言
- 解析自然数学语言
- 数学受控自然语言(CNL)
- 使正式数学文档可读
- 基础理论的自然性(类型、集合、HOL等)
- 证明方法的自然性
- 天然防护结构和粒度
- 形式化数学文本和库的自然结构
- 数学类型设置(LaTeX)和形式数学
- 自然形式化示例
受邀会谈
杰里米·阿维加德
提交文件
我们要求提交扩展摘要(1页)和演示提案,介绍与研讨会感兴趣的主题相关的工作。接受的摘要可以选择性地扩展到完整的论文(4到15页),在ceur-ws.org上发表。为了推广自然形式数学,还欢迎未完成或探索性的工作。
通过以下方式进行电子提交Easy椅子(选择作者角色,选择“新提交”选项卡,然后选择“NatFom”)。扩展的摘要和论文应使用onecolceurws样式在LaTeX中格式化。
- 提交是连续的(提前提交->提前通知)。
- 7月1日。2021年:最终修订论文到期
- 7月26日至31日。2021年:研讨会(半天;日期待定)
接受的摘要和演示应该在线和现场展示,以便提问和讨论。
项目委员会
- 彼得·科普克,波恩(联合主席)
- Dennis Müller,爱尔兰根(联合主席)
- 弗伦斯堡梅林·卡尔
- 德累斯顿马科斯·克莱默
- 迈克尔·容克,康斯坦兹
- 因斯布鲁克,塞扎里·卡利西克
- Andrea Kohlhase,纽姆
- 哥德堡阿尔内兰塔
- 布拉格约瑟夫·乌尔班
|
-
新闻
- 7月27日之前在线提供诉讼记录,网址:这个链接
- 已发布初步计划
- Cfp第三轮
- 延长的截止日期
- Cfp第二轮
- 斯普林格LNAI诉讼确认
- Cfp第一轮
- 在线日期
- 在线呼叫
- 受邀演讲人
- PC在线
- 初始网站在线
隐私政策和法律信息
上次修改时间:2021年5月17日17:34:01 CEST