各位同学：

德国吕贝克应用科技大学是我校多年的合作伙伴。根据两校的学术交流协议，该校每年都派教师来我校进行学术访问。今年该校的Andreas Schaefer教授将在我院开设《Software Verification》课程。课程介绍见附件。课程学时10学时，全部为上机学时，上课地点为健行楼A楼307机房。开课时间安排如下：

Nov. 27 18:30~20:10 (Wednesday)

Nov. 29 18:30~20:10 (Friday)

Dec. 2 18:30~20:10 (Monday)

Dec. 4 18:30~20:10 (Wednesday)

Dec. 6 18:30~20:10 (Friday)

欢迎各位本科生、研究生同学积极报名！

报名方式：请发送姓名、学号、专业班级、联系方式（手机+邮件）到白琮老师（congbai@zjut.edu.cn），人数限定50人，额满为止。请以收到回复邮件为确认。

报名截止时间：2013年11月17日