收藏本站
基础软件与系统重点实验室
菜单 搜索
下载中心
会议室预定
电子邮箱
  • 首页
  • 实验室概况
    • 实验室介绍
    • 组织管理
    • 学术委员会
  • 科学研究
    • 研究方向
    • 科研进展
    • 科研成果
    • 学术论文
  • 党建工作
    • 办事指南
    • 反腐倡廉
      • 党纪党规
      • 警示教育
    • 媒体转载
    • 支部活动
    • 科研攻坚
  • 人才队伍
    • 院士专家
    • 研究员/正高级工程师
    • 副研究员/高级工程师
  • 研究室简介
    • 约束求解研究室
    • 基础软件验证研究室
    • 基础软件测试与分析研究室
    • 可信智能系统研究室
    • 操作系统研究室
    • 量子软件研究室
    • 空间感知系统研究室
    • 前瞻研究室
  • 联系我们
党建工作

办事指南 更多>>

  • 2024-09-29党支部活动请假制度(初订)

反腐倡廉 更多>>

  • 2025-05-14人民日报评“5干部违规聚餐饮酒1人死亡”:严以修身,慎独慎微
  • 2025-05-14中央层面深入贯彻中央八项规定精神学习教育工作专班、中央纪委办公厅公开通报李献林、叶金广等人违规吃喝严重违反中央八项规定精神问题
  • 2024-09-11中组部负责人就《中国共产党不合格党员组织处置办法》答记者问
  • 2024-08-28党政机关厉行节约反对浪费条例
  • 2024-08-28中共中央八项规定
  • 2024-08-27中国共产党纪律处分条例(2024年)——分则
  • 2024-08-27中国共产党纪律处分条例(2024年)——总则
  • 2024-07-31中共中央印发《中国共产党巡视工作条例》
  • 2024-07-31拒绝学术评议中的“跨界”“挂名”“一言堂”行为!中国科学院发布8条诚信提醒

警示教育 更多>>

  • 2025-05-14人民日报评“5干部违规聚餐饮酒1人死亡”:严以修身,慎独慎微
  • 2025-05-14中央层面深入贯彻中央八项规定精神学习教育工作专班、中央纪委办公厅公开通报李献林、叶金广等人违规吃喝严重违反中央八项规定精神问题
  • 2024-07-31拒绝学术评议中的“跨界”“挂名”“一言堂”行为!中国科学院发布8条诚信提醒

党纪党规 更多>>

  • 2024-09-11中组部负责人就《中国共产党不合格党员组织处置办法》答记者问
  • 2024-08-28党政机关厉行节约反对浪费条例
  • 2024-08-28中共中央八项规定
  • 2024-08-27中国共产党纪律处分条例(2024年)——分则
  • 2024-08-27中国共产党纪律处分条例(2024年)——总则
  • 2024-07-31中共中央印发《中国共产党巡视工作条例》

媒体转载 更多>>

  • 2025-04-27中国科学院党组举办深入贯彻中央八项规定精神学习教育读书班暨理论学习中心组集体学习会
  • 2025-04-02侯建国:深化科研院所改革 赋能科技强国建设丨求是
  • 2025-03-27中国科学院召开2025年第1次机关党组织书记联席学习研讨会
  • 2025-03-18中国科学院党组传达学习习近平总书记重要讲话和全国两会精神
  • 2024-09-26中国科学院党组传达学习全国教育大会精神
  • 2024-09-14中国科学院召开2024年京区党建工作推进会
  • 2024-08-27中国科学院传达2024年夏季党组扩大会议精神
  • 2024-08-19【悼念周光召】历史的启迪和重大科学发现产生的条件
  • 2024-08-15扎实推进重大科技任务实施
  • 2024-08-15中共中国科学院党组:勇担科技强国建设使命重任

支部委员 更多>>

  • 2025-03-27党支部委员会
  • 2024-09-29党支部书记、委员工作职责(初订)

支部活动 更多>>

  • 2025-05-28知行融创论坛第二期活动成功举办
  • 2025-04-27知行融创论坛第一期活动成功举办
  • 2025-04-14基础软件与系统重点实验室党支部开展清明祭扫活动,缅怀唐稚松院士
  • 2025-04-10弘扬老科学家精神,深入理解图灵机思想——基础软件与系统重点实验室党支部专题讲座成功举办
  • 2025-03-27研究生毕业政策解读会顺利举办
  • 2025-01-04基础软件与系统重点实验室支部全体党员大会暨弘扬科学家精神主题党日活动
  • 2024-11-15党支部实践活动——红色背篓教育基地&周口店遗址科学家纪念园参观学习
  • 2024-09-11基础软件与系统重点实验室党支部弘扬红旗渠精神,践行“三严三实”专题培训班

科研攻坚 更多>>

  • 2024-07-29软件所分布式SMT求解器研究工作获CAV杰出论文奖(中国首次)
  • 党建工作

    • 办事指南
    • 反腐倡廉
      • 警示教育
      • 党纪党规
    • 媒体转载
    • 支部委员
    • 支部活动
    • 科研攻坚

中华人民共和国科学技术部          国家自然科学基金委员会          中国科学院         北京分院         软件研究所         软件所图书馆    

Copyright © 2019-2024 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号-1