跳至内容
第20届现代逻辑学术研讨会(NCML 2026)
2026年10月23-25日(北京·中国科学院哲学研究所)
菜单
菜单
征稿
参会注册
委员会
特邀报告
日程
特邀报告
特邀报告(更多待定)
蔡少伟(北京航空航天大学/中国科学院软件研究所)
刘路(中南大学)