IJCAI特邀演讲
Erheng Zhong
IJCAI特邀演讲日程已公布，详情可查看http://ijcai13.org/program/invited_talks。内容精彩，不容错过！
以下是演讲列表：
1. Logics for multi-agent systems: a critical overview。介绍逻辑模型的重要概念并从知识表示的角度对多智能体系统中的逻辑模型进行回顾。嘉宾Andreas Herzig为法国国家科学研究中心的资深研究员；研究方向是交互逻辑模型，特别是与知识、信念、时间、动作相关的逻辑推理。
2. Computational Perspectives on Social Phenomena at Global Scales。介绍在线社交系统的分析与设计，特别是社交媒体的网络结构与文本分析。嘉宾Jon Kleinberg为美国康奈尔大学教授，也是美国科学院、工程院、艺术与科学研究院院士；研究方向是网络与信息接口，特别是社交与信息网络。
3. R-calculus: A Logical Framework for Scientific Discovery。介绍R-calculus，一个用于一阶逻辑中修正的接口系统，用于识别并反驳形式化理论中特定的逻辑命题。嘉宾Wei Li为北航大学教授，国家软件开发环境重点实验室主任；研究方向为科学发现中的逻辑与计算基础，众包软件开发等。
4. "Soft Robotics" -- the next generation of intelligent machines。介绍生物智能机器的关键技术与挑战，以及原型机器人”Roboy”。嘉宾Rolf Pfeifer为苏黎世大学人工智能实验室主任，瑞士国家机器人计算研究中心副主任；研究方向包括具体化智能，生物机器人，形态计算等。
5. Computing for conservation。介绍两大类计算学习以及优化的方法，用于在信息以及资金有限情况下的生物多样性保护。嘉宾Steven Phillips为美国AT&T实验室资深研究员；研究方向为可持续计算，以及在环境生物保护中的应用。他曾利用优化方法建立珍稀物种的保护通道。
6. Symbiotic AI: an approach to artificial intelligence through first-person sensing。介绍共生AI，其目标是将多种感知器的信号进行汇总并抽象出高层次的模式。嘉宾Thad Starner是佐治亚理工学院教授，Google眼镜的技术负责人；研究方向包括移动人机交互、机器学习等。
7. Learning as program induction。从计算的角度讨论认知科学中认识世界的关键问题，并将其与反向工程人类智能、机器学习建立联系。嘉宾Joshua Tenenbaum为麻省理工大学教授；研究方向是计算认知科学以及其在人工智能中的应用。他已在多个顶级国际会议上获得最佳论文奖。
8. Computational Disaster Management。介绍在过去5年中计算灾害控制领域的相关进展，包括在优化、仿真方面的挑战。嘉宾Pascal Van Hentenryck为澳大利亚信息与通信技术研究中心优化研究组负责人以及墨尔本大学教授；其主要从事灾害控制、响应、恢复方面计算技术的研究。
Thanks and best regards,
Erheng Zhong (钟迩桁),