应计算机系邀请，英国皇家科学院院士，爱丁堡大学计算机科学系教授, Gordon David 
Plotkin博士来我校讲学。 
     

    报告题目：The Unreasonable Effectiveness of Logic in 
Computer science 
     Towards a Logic for Computational 
Effects 
     时间：本周四(18日)下午2：30—4：30 

     地点：东2楼－416 
     

    届时欢迎教师、博士生和研究生参加。 
     

     
     计算机系 

     2003年9月15日