计算机科学数学专题论文征集使领域专家能够使用形式化推理http://www.cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform网站/特约编辑：曼弗雷德·科伯、克里斯托夫·兰格、科林·罗瓦特我们邀请高质量的原创研究论文到Birkhä用户/Springer杂志《计算机科学中的数学》基于正式、显式、机器可验证的系统的使用在应用领域（如经济学）中表示知识，工程、医疗、教育。示例包括：*来自应用程序域的问题，可以从更好的验证和知识管理设施，以及*知识管理和验证工具，领域专家没有计算机科学背景就可以使用。（阅读更多关于我们的感兴趣的主题）有关更多示例，请参阅启用域专题讨论会专家使用形式化推理(http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/)在AISB年会上举行人工智能和行为模拟）。提交日期：2013年10月31日通知：2013年12月15日修订版到期日期：2014年1月15日最终版本截止日期：2014年2月15日出版日期（预计）：2014年4月感兴趣的主题包括但不限于：*对于领域专家：应用领域中的哪些问题可以受益于更好的验证和知识管理设施？可能的字段包括：-示例1（经济学）：拍卖、价值-风险模型、交易算法，市场设计-示例2（工程）：系统互操作性、制造流程，产品分类*计算机科学家：如何提供正确的知识面向领域专家的管理和验证工具计算机科学背景？-非正式、语义、半正式和正式的wiki和博客数学知识；-在线协作数学的通用技术和工具；-用于协作制作、演示、发布和与在线数学互动；-数学自动化与人机交互维基；-为支持知识而设计的本体和知识库应用领域的管理和验证；-实践经验、可用性方面、可行性研究；-评估现有工具和实验；-需求、用户场景和目标。提交文件应大约20页长，如下所示出版商的指示，并应通过EasyChair提交。潜在撰稿人可以联系客座编辑(doformmcs2014@easychair.org)讨论主题的适用性和论文。-- Christoph Lange，伯明翰大学计算机科学学院http://cs.bham.ac.uk/~langec（兰格）/，Skype公爵4701→ 智能计算机数学，7月8-12日，英国巴斯。提前登记截止日期6月23日；http://cicm-conference.org/2013/→ 知识和经验管理，10月7日至9日，德国班贝格。7月1日前提交；http://minf.uni-bamberg.de/lwa2013/cfp/fgwm/→ 模块化本体论（WoMO），9月15日，西班牙科伦纳。提交至7月5日；http://www.iaoa.org/womo/2013.html
接收日期：2013年10月3日星期四11:10:34 UTC