[5/3] MLGBD，我运气太差了，今年的形式化数学 “顶会” CICM 2026 的摘要投稿截止日期就是明天，然后一周内提交完整论文，时间太紧了。这种论文我写一篇只要三四天就够了（上次的 ITP 论文也是不到一周时间写完的），但是现在还差一个引理的证明外包给学生了，她未必能按时完成。现在唯一的希望就是会议主办方按惯例会在首轮截止日期没有收到足够投稿时宣布延长投稿截止时间两周。
发布于 辽宁