时间 2004年5月12日（周三）晚上19:00-21:00 演讲人 Jan Jürjens。安全性系统开发方面的专家。就职于慕尼黑工业大学(TU München)信息学系（德国大学中排名第二）。Jan Jürjens是牛津大学的博士。 声音记录 网盘下载(18M)：http://pan.baidu.com/share/link?shareid=72894&uk=179575