时间2016
第23届时间表征与推理国际研讨会
2016年10月17日至19日,丹麦技术大学
时代2016主页
接受的论文
索取文件
委员会
重要日期
提交
受邀演讲人
计划
-
星期一
-
星期二
-
星期三
注册
住宿
地点
TIME的背景
精彩的哥本哈根
2016年《时代》杂志旨在汇集对计算机科学任何领域中信息的时间方面进行推理感兴趣的研究人员。
该研讨会目前已出版第23版,范围广泛,旨在兼顾理论方面和良好的应用。
研讨会的一个关键方面是
跨学科,与会者来自人工智能、数据库管理、逻辑和验证等不同领域。
研讨会将包括人工智能、数据库和逻辑与验证中的时间表示和推理的三个方向。
时间2016.compute.dtu.dk
|
电子邮件:time2016(at)compute.dtu.dk |©dtu compute,2016