我们有幸邀请到了在蒙特利尔大学做访问的中国科学院院士、北京航空航天大学原校长 李未教授 来给留学生做一场关于科学发现历程的讲座。讲座主题为：A computational Framework for Karl Popper’s Logic of Scientific Discovery。他将深度解析卡尔·波普尔的科学发现逻辑，并举例说明如何将这个过程运用到日常科研工作中来；他也会以博导的身份来给各位科研工作者以建议和指导，帮助留学生克服科研瓶颈。听君一席话，胜读十年书，相信他的讲座会给各位带来启发。

讲座时间： 9月18日（周五）下午3-5点。讲座为一个小时，之后有一个小时的座谈时间，大家可以自由与李院士互动交流。

讲座地点： 蒙特利尔大学 #3195, Pavillon André-Aisenstadt (Building of Maths and conputer science) , Montréal, H3T 1N8.

到时候一楼正门口会有指示牌指示讲座所在教室，并有专人引导。（如找不到地方请联系 438 994 3477）

主办单位：蒙特利尔大学 艺术与科学学院

协办单位：Udem & POLY中国学生会

         中加博士精英会（即将上线）

         McGill中国学生学者联谊会

         蒙特利尔中国学者联谊会

李未教授简介：

李未，男，1943年生，北京市人，文化程度博士，国务院学位委员会委员、国有智能计算机专家组副组长等。

系统地解决了实用并行程序设计语言，特别是并行及通讯结构的语义问题，在并行程序语言翻译正确方面做出创始性贡献。还提出开放逻辑理论，建立了形式系统序列的极限理论等，证明了正交设计的最优性，在研究和使用硅编译技术及智能计算机研究等做出突出的成绩。

♦机器证明，英文，专业♦ (点击下载)

♦科研座谈，中文，通俗♦ (点击下载)