返回首页
-
2021CCF颁奖典礼精彩看点：CCF优秀博士学位论文（后附直播间二维码）
2022-02-172021CCF颁奖典礼将于2月19日下午在横店举行，当天15:30开始将通过B站、爱艺奇、百度、知乎、快手等多平台进行同步网络直播。
-
数据治理 | CCF数图焦点第14期
2022-02-142020年《中共中央国务院188体育投注：构建更加完善的要素市场化配置体制机制的意见》指出，“加快培育数据要素市场”。数据被作为与土地、劳动力、资本、技术并列的五种生产要素之一。在人类发展史上，如果说工业革命拓展了人类体力，那么以大数据为依托的新一轮信息革命正在空前地增强人类脑力，带来生产力又一次质的飞跃，同时迅速重塑物质世界和人类社会本身。大数据正在对经济发展、社会生活以及国家治理产生根本性、全局性、革命性影响。
-
《CCF产学研动态》电子刊第1期正式发布！内含CCF科学技术奖成果展示
2022-02-12这是《CCF产学研动态》电子刊的第一期，刊登四项获得CCF科学技术奖的成果，以及快手公司的成果。经过20多年的探索与实践，产学研深度融合已成为当前深化科技体制改革的一项重要内容。CCF创办《CCF产学研动态》电子刊，其目的就是方便信息技术领域的企业、高校、科研院所相互了解产业需求、科技成果，推动我国信息技术领域产学研协同创新、深度融合的可持续发展。《CCF产学研动态》特别希望征集企业的技术和人才需求、需要企业/高校/研究所共同建立生态的自主技术成果、高校/研究所已通过初步应用验证可以产业化的成果。
-
智能时代计算机专业系统能力培养探索与实践 | CCF数图焦点第13期
2022-02-11本期从CCF188体育投注遴选资源并推出“智能时代的计算机专业系统能力培养探索与实践”的数图焦点。焦点包括《智能时代计算机专业系统能力培养纲要》全文、几所大学的探索与实践，以及部分层次典型课程的视频资源，希望读者能够从本期焦点的资源中有所启发，共同为培养适应智能时代要求的专业人才而上下求索。
-
2021中国智能机器人学术年会 | 数图回顾
2022-02-092021年，全国疫情防控工作趋于常态化管理，在减少人际物理接触的要求下，亟需智能机器人技术和产品替代各类传统人工操作。【2021中国智能机器人学术年会】以“机器人赋能后疫情时代”为主题，通过汇聚领域专家学者和技术人才，深入开展战略研讨和技术展示交流，共同推动中国智能机器人技术发展。
-
联手形式化方法专业委员会：“时间自动机”术语发布 | CCF术语快线
2022-01-28时间自动机[1]是一个对实时系统进行建模和验证的模型。它可以理解成一个带有限个时钟集合的有限自动机。每个时钟都是一个取值范围为0或正数的变量，且同步运行。时间自动机状态之间的转换要满足边上时钟约束才可能发生，且这种转换不消耗时间，在状态转移中，某些时钟可以被重置为0。只要满足当前状态中的时钟约束，时间自动机的时间可以在这个状态中流逝。换言之，时间自动机是用有限个实数值变量扩展的有限自动机。
-
CCF表彰2021年度CSP优秀单位
2022-01-28CCF从组织参与了2021年认证考试的授权认证高校中评选年度优秀单位，湖南大学等10所高校获CSP组织优秀单位，北京大学等10所高校获CSP成绩优秀单位。
-
2021年CCF会员活动中心评优结果出炉
2022-01-272021年CCF会员活动中心评优结果出炉， 五个优秀分部：武汉、合肥、济南、苏州、石家庄；特色活动奖：南京、长沙，会员发展优秀奖：杭州、上海，总部特别贡献奖：深圳、南宁，进步专项奖：哈尔滨、东莞， 此公告并向获奖分部表示祝贺！
京公网安备 11010802032778号
