[1/3] 早上一觉醒来，CICM 投稿截止时间延期了两周（昨晚我临睡前检查还没有呢）。关键是学生也把最后一个定理证完了，现在也建议投稿。那就没什么可商量的了。CICM 会议没有 CCF 评级（事实上也等级不高，因为每年的投稿也就不到50篇），但这可是形式化数学最对口的会议，录用门槛其实不高（当然前提是论文得是这个方向的），60% 以上接收率，不收费（但也没有 Open Access）。我觉得可以先写一篇短的，不耽误后面的会议再投更长的。