第44届中国控制会议（CCC 2025）将于2025年7月28-30日在重庆举办。CCC2025由中国自动化学会控制理论专业委员会（TCCT）、中国自动化学会（CAA）、中国系统工程学会（SESC）主办，重庆大学承办。

　　中国控制会议是由TCCT发起的系列学术会议，现已发展成为控制理论与技术领域的国际性学术年会。会议旨在为全球系统与控制领域的学者和技术人员提供一个学术交流的平台，展示最新的理论与技术成果。会议采用大会报告、专题研讨会、发展论坛、会前专题讲座、分组报告与张贴论文等形式进行交流。会议的工作语言为中文和英文。论文集中的英文论文将于会后提交IEEE Xplore数据库。

　　CCC2025 提交论文初稿日期为：2024年10月1日-12月15日。详细征文范围等内容，请点击查看CCC 2025征文通知。我们热忱欢迎海内外广大同仁踊跃投稿、参会，共同交流学术成果。重庆欢迎您，控制盛会期待您......更多信息>>>

书　　名：自然数的紧化延伸机器证明系统
作　　者：郁文生，窦国威
内容简介：
　　数系的扩充始终贯穿于数学理论的发展之中。本书利用交互式定理证明工具Coq， 在Morse-Kelley公理化集合论形式化系统下，给出中国科学技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统，包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现， 完成实数模型的形式化构建，并且给出滤子扩张原则和连续统假设蕴含非主算术超滤存在的形式化验证。在我们开发的系统中，全部定理无例外地给出Coq的机器证明代码，所有形式化过程已被Coq验证，并在计算机上运行通过，充分体现了基于Coq的数学定理机器证明具有可读性、交互性和智能性的特点，其证明过程规范、严谨、可靠。该系统可方便地推广到非标准分析理论的形式化构建。本书可作为数学与计算机科学、信息科学相关专业的高年级本科生或研究生教学用书， 也可供从事人工智能相关科研工作者学习参考.......更多信息>>>

　　吴建德 教授
　　云南大学教授、博士生导师。中国有色金属工业智能系统与先进控制工程技术研究中心主任、云岭学者、云南省产业技术领军人才。兼任中国有色金属学会自动化学术委员会副主任委员、中国自动化学会过程控制专业委员会常务委员等。吴建德作为第43届中国控制会议（CCC2024）大会副主席，对会议的召开做出重要的贡献，极大地提升了会议的学术影响力和行业关注度，为与会者搭建了一个高效交流与合作的优质平台。
　　近年来，围绕“智慧矿山-管道输送-智能冶炼”的矿产资源综合利用全产业链智能管控成套技术展开研究，先后主持国家自然科学基金区域联合重点项目、面上项目、省部级重大科技专项及企业委托研发项目20余项......更多信息>>>

　　那靖 教授
　　昆明理工大学教授、博士生导师，云南省智能控制与应用重点实验室主任，“国家高层次人才”特聘教授项目入选者，国家优青、欧盟“玛丽居里学者”、云南省云岭学者等获得者。2004年毕业于北京理工大学自动化专业，获工学学士学位；2010年毕业于北京理工大学模式识别与智能系统专业，获工学博士学位。曾在法国ITER Organization从事博士后研究，获 “玛丽∙居里”学者资助于英国布里斯托大学担任研究员。现任中国自动化学会数据驱动控制、学习与优化专业委员会专委会副主任、控制理论专委会委员、过程控制专委会委员等。
　　主要研究方向为机电系统建模和自适应参数估计、智能控制及应用等，研究成果应用于汽车、机器人和可再生能源等领域，取得显著经济社会效益......更多信息>>>

1.　IEEE 控制系统协会（CSS）将于2024年10月21-25日举办第二届CSS日活动

　　IEEE CSS 将于2024年10月21-25日举办第二届CSS日活动，本次CSS日的主题是"控制助力碳中和世界".....更多信息>>>

2.　2025 IEEE International Conference on Industrial Technology 将于2025年3月26-28日在武汉举行

　　2025 IEEE International Conference on Industrial Technology (ICIT 2025)将于2025年3月26-28日在武汉举行.....更多信息>>>

3.　基金委：关于2022-2023年度项目资金监督检查情况的通报

　　根据《国家自然科学基金条例》《国家自然科学基金资助项目资金管理办法》《国家自然科学基金资助项目资金监督检查办法》的有关规定，国家自然科学基金委员会（以下简称自然科学基金委）2022—2023年以抽查的方式对贵州、广东、四川、河北等4个省份进行项目资金监督检查，现将有关情况通报如下.....更多信息>>>

4.　基金委：关于试点开展“委-校协同”汇聚资助学术论文数据的通知

　　国家自然科学基金委员会（以下简称自然科学基金委）组织建设的科学基金开放获取仓储平台（Open Access Repository，OAR平台）已经上线服务。为提高OAR平台的数据仓储服务水平，尽快达成科学基金资助学术论文“应收尽收”的工作目标，自然科学基金委试点开展“委-校协同”，共同汇聚资助学术论文数据工作，实现公共财政资金资助产出的学术论文开放获取，减轻科研人员负担、促进科技交流合作、提升基金资助效能，现将有关要求通知如下.....更多信息>>>

5.　中国自动化学会：关于征集自动化、信息及智能科学领域科普成果的通知

　　为深入贯彻落实国务院《新一代人工智能发展规划》、《全民科学素质行动规划纲要（2021-2035年）》及《中国科协关于新时代加强学会科普工作的意见》，传播自动化、信息及智能科学领域新知，搭建多主体参与、多样化传播的共建共享平台，打造以“科普专家+科普教育基地+科普作品+科普活动”四位一体的“科普之翼”，中国自动化学会现面向社会广泛征集自动化、信息及智能科学领域科普成果，具体征集事宜通知如下.....更多信息>>>

地址：北京海淀区中关村东路55号中国科学院数学与系统科学研究院
邮编：100190
电话：+86-13439292673
Email：tcct@iss.ac.cn