演讲题目：多智能体系统中的形式化方法Formal Metheds For Multi-Agent Systems

报告时间、报告地点：10月29日下午1：30，地点：18-925

主讲人简介：Jeff Sanders

牛津大学程序研究小组研究员，澳门联合大学软件技术研究所所长。