南哪消息 2025-01-09

活动预告

编辑部招聘人才，用爱发电，工作轻松，详情可联系QQ：1329527951 客服小祥
想订阅本消息或获取PDF版（便于查看超链接和往期），可加QQ群：849644979.

讲座	开展时间	刊载时间
《移动计算与社会治理》	1.15	1.6

1.春季学期课程选课时间：1月20日10:00-2月7日23:00开通选课，抽签结果将于2月14日发布。
2.2025年1月17日公布2024-2025学年第二学期课表。
3.春季学期的本科课程测评正在进行，请同学们在1月12日前完成测评，测评完成后才能进行选课。
选课范围、注意事项详见原文。

2025年寒假社会实践通知已经发布在南大青年官网（https://tuanwei.nju.edu.cn/36/3d/c24691a734781/page.htm），有意向参加寒假社会实践的同学可加入25寒假社会实践咨询群（QQ群号：1012412263）。

从25年春季学期开始，PLaX研究组（https://plax-lab.github.io/）将举办面向大二、大三本科生的PL读书会，欢迎对PL理论感兴趣的同学报名。具体计划如下：

计划读的第一本书：Robert Harper’s PFPL (Practical Foundations of Programming Languages)

读书形式：每周线下聚会（1至2小时），同学们轮流讲解书中章节，自由讨论书中内容

举办条件：报名不少于5人

报名要求：二、三年级本科生，在仙林，对PL理论感兴趣

退出机制：除了有讲解任务的同学外，其他同学可以随时自由退出

报名方式：实名加入QQ群1006577416

报名截止日期：2月12日

本读书会无学分，也无任何世俗奖励。

有疑问请联系梁红瑾老师，邮箱：

北京国际数学研究中心 AI4MATH 课题组的徐天一老师将于 1月14日至1月17日每日上午9:00-12:00于鼓楼校区西大楼308举行 AI4Math 工作坊

内容包括 Lean 简介，类型论入门和进阶，以及 AI for formalized math 等话题

报名将于1月10日12:00截止。报名链接：https://wenjuan.nju.edu.cn/vm/wWck4v1.aspx

南京广电猫猫VS广东台山和力
时间：1月12日19:30
地点：南京大学方肇周体育馆