本学期，我校特聘教授罗里波为信息工程学院青年教师和2007级计算机应用技术专业研究生讲授“计算机科学中的数理逻辑”课程，上课时间：每周星期六的上午8：30－11：00，星期天下午：2：30－5：00，地点：教一楼104室。另外，从第八周开始，罗教授主持“形式语言与自动机理论”学术讨论班，讨论班时间：每周星期四下午：4：00－6：00，地点：计算机实验中心263室。 欢迎广大感兴趣的师生参加学习和讨论。
信息工程学院
