1. 第九届陈翰馥奖推荐工作已经开始
　　为奖励在控制科学和系统科学领域取得突出成就的杰出学者，激励原始创新，促进中国控制科学和系统科学的发展，中国自动化学会控制理论专业委员会于2014年设立了“陈翰馥奖”.....更多信息>>>

2. 第九届TCCT“杰出贡献奖”提名工作已开始
　　为奖励长期服务于专业委员会、推动控制理论与应用在中国的发展做出杰出贡献的人士，中国自动化学会控制理论专业委员会（以下简称TCCT）设立了“杰出贡献奖”.....更多信息>>>

3. 第43届中国控制会议（CCC2024）承办申请工作已经开始
　　中国控制会议（Chinese Control Conference，简称CCC）是由中国自动化学会控制理论专业委员会发起的系列学术会议，现已发展成为有关控制理论与应用的国际性学术年会.....更多信息>>>

　　CCC2022提交论文初稿日期为：2021年10月1日-2022年2月28日。
　　第41届中国控制会议将于2022年7月25-27日在合肥举办。会议由中国自动化学会控制理论专业委员会、中国自动化学会、中国系统工程学会主办，中国科学技术大学承办。
　　截至目前，会议大会报告人、大会专题研讨会已确定，其他工作正在有条不紊地进行。我们热忱欢迎海内外广大同仁踊跃投稿、参会，共同交流学术成果......更多信息>>>

书　名：分析基础机器证明系统
作　者：郁文生，付尧顺，郭礼权
图书简介：
　　本书利用交互式定理证明工具Coq, 在朴素集合论的基础上, 从Peano五条公设出发, 完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理的Coq 描述, 其中依次构造了自然数、分数、分割、实数和复数, 并建立了Dedekind实数完备性定理, 从而迅速而自然地给出数学分析的坚实基础. 在分析基础形式化系统下, 进而给出Dedekind实数完备性定理与它的几个著名等价命题间等价性的机器证明, 这些命题包括确界存在定理、单调有界定理、Cauchy-Cantor闭区间套定理、Heine-Borel-Lebesgue有限覆盖定理、Bolzano-Weierstrass聚点原理、Bolzano-Weierstrass列紧性定理及Bolzano-Cauchy收敛准则等, 基于实数的完备性定理, 作为应用, 进一步给出闭区间上连续函数的重要性质——有界性定理、最值定理、介值定理、一致连续性定理——的机器证明......更多信息>>>

　　刘连庆 教授
　　1998年9月—2002年6月就读于郑州大学，获学士学位，2002年9月—2009年1月，就读于中国科学院沈阳自动化研究所，获博士学位，2006年7月—2007年12月在美国密歇根州立大学作联合培养博士生。现为中国科学院沈阳自动化研究所所研究员，博导，机器人学国家重点实验室副主任。
　　 研究方向为：微纳机器人学：微纳尺度下机器人的感知、驱动与控制方法研究；类生命机器人：研究基于生命系统和机电系统在分子、细胞和组织尺度融合的先进机器人系统......更多信息>>>

　　周郭许 教授
　　1996-2000年就读于华中师范大学数学系，获理学学士学位；2004-2006年就读于华南理工大学理学院，转硕博连读；2009-2010年就读于华南理工大学电子与信息学院，获博士学位。2010年10月-12月为日本理化学研究所访问学者（Visiting Scientist）；2011年3月加入日本理化学研究所，任研究学者（Research Scientist）；2014年7月获聘广东工业大学“百人计划”特聘教授。国家“万人计划”科技创新领军人才广东省检测技术与自动化装置珠江学者特聘教授。
　　 主持或参与各类基金项目10余项（含国家自然科学基金3项、日本学术振兴会（JSPS）科研资助1项、广东省重大基础研究培育项目1项）......更多信息>>>

1.　自动化学会：《重要学术会议指南（2022）》拟推荐会议公示

　　根据《中国科协办公厅关于开展<重要学术会议指南（2022）>有关工作的通知》（科协办函创字〔2022〕4号）文件要求，我会开展了重要学术会议推荐工作。经专家提名、评审，我会拟推荐以下重要学术会议.....更多信息>>>

2.　基金委：国家自然科学基金优秀青年科学基金项目（海外）项目指南

　　为进一步完善科学基金人才资助体系，充分发挥科学基金引进和培养人才的功能，吸引海外优秀青年人才回国（来华）工作，国家自然科学基金委员会（以下简称自然科学基金委）2022年继续实施国家自然科学基金优秀青年科学基金项目（海外）.....更多信息>>>