9月12日至14日，德国吕贝克

第十八届时间表征与推理国际研讨会

TIME 11旨在汇集不同研究领域的研究人员涉及时态数据的管理以及信息的时间方面。

这一独特且久负盛名的活动（参见http://time.dico.unimi.it)有其目标是架起理论和应用研究的桥梁，以及作为来自人工智能、数据库管理、逻辑和验证领域，甚至更远。

重要日期

受邀演讲人

• 尼尔·皮特曼（英国莱斯特大学）
  • p-自动机与义务游戏
• 格哈德·谢尔霍恩（德国奥格斯堡大学）
  • 使用交叉程序扩展ITL进行交互式验证
• 克里斯汀·布伦特·维纳布尔（意大利帕多瓦大学）
  • 时间首选项
• 杰夫·威森（比利时蒙斯大学）：
  • 建立数据货币基础

提交文件

提交描述研究结果或正在进行的高质量论文工作被征集。提交的文件应包含之前的原件未发表的内容，应以英语书写，不得同时提交其他地方出版。

提交的论文将由至少三名审稿人进行质量审核，正确性、独创性和相关性。接受的论文将在研讨会并包含在会议记录中，会议记录将由会议出版服务（CPS）。论文的接受取决于一位作者在研讨会上发表了论文。

提交文件应为PDF格式（嵌入必要的字体）。必须根据IEEE指南且不得超过8页；超长提交文件可能会被拒绝，无需审查。

论文应通过电子方式提交EasyChair系统.

话题

研讨会将包括

• AI、数据库、逻辑和验证的三个轨道
• 额外的区间时序逻辑的特殊轨迹.

注册费