为深入落实《关于加强基础学科人才培养的意见》要求，不断提高拔尖学生的培养水平，吉林大学计算机科学与技术学院于2023年8月4日－8月8日，举办“拔尖计划2.0”人工智能逻辑与推理暑期学校，旨在为计算机科学与技术学科拔尖基地学生提供共同学习和交流的平台。

1．内容安排

课程邀请国内知名专家授课，强调学员的参与，提供多种互动和参与的机会。授课内容分为：人工智能逻辑与推理基础课程、前沿讲座两个模块。基础课程基本内容具体包括：人工智能逻辑、命题知识表示与推理、约束可满足性求解等。本课程还提供了一系列涵盖广泛主题的前沿学术讲座，邀请领域内技术专家给学生分享人工智能的最新趋势和技术。

2．参加人员

招收外校约20名学生。面向拔尖计划2.0计算机科学基础学科基地学生、国内相关专业的优秀大学生进行选拔。

3. 具体安排

时间：2023年8月4日-8月8日

地点：吉林省长春市前进大街2699号吉林大学中心校区王湘浩楼

营员遴选结果暂定7月28日左右邮件通知入选营员。

4．报名方式

请于7月24日前发送个人简历PDF+个人奖励证明材料zip（如有）至https://form.wjx.top/vm/wMi2iNT.aspx。未按要求提交的报名无效。

5．学生待遇

录取学员的学费、餐费与住宿由暑期学校负担。往返车票自理。

6．联系方式

联系人：吉林大学计算机科学与技术学院王老师，钟老师

咨询邮箱：wangqiangqiang@jlu.edu.cn，zlh2012@jlu.edu.cn

吉林大学计算机科学与技术学院

2023年7月18日