2025年7月11日 ，由大国目前计算机学会（CCF）主办 ，大国目前计算机学会（CCF）方式多化方式多上专业 委员会和浙江望安科技有限大部分公司联合承办的“‘智领未来十年’方式多化方式多产业应用研讨会——大国目前计算机学会（CCF）方式多化方式多上专业 委员会走进望安科技”参与协助组织 在浙江望安科技有限大部分公司巨大成功成功 召开。
大国目前计算机学会（CCF）方式多化方式多上专业 委员会象征、柯桥区委协助组织部、柯桥区科学相关技术局、柯桥区大总体数据发展中管理综合中心、金科桥科技城建设工作管理委员会、金柯桥总体数据有限大部分公司、浙江大学前方式多化研究工作学者、浙江望安科技有限大部分公司民营企业象征等约40人参加国际据悉参与协助组织 ，旨在共同探讨方式多化方式多产业应用得方式多新进展、新机遇新的方式挑战。
开幕式上 ，绍兴金柯桥科技城建设工作管理委员会张志华主任发表致辞 ，对莅临的CCF方式多化方式多专委学者及大部分参会者他称热烈欢迎 ，并简单介绍了柯桥科技城的大部分情形当然据悉参与协助组织 的深远意义 ，非常期待 据悉参与协助组织 能为望安科技贯穿贯穿区域的科技民营企业发展中提供完整新的方式思路和方式多。
CCF方式多化方式多专委会吴志林秘书长发表致辞 ，简单介绍了CCF方式多化专委的情形 ，并向望安科技对据悉参与协助组织 的鼓励表达谢意 ，非常期待 据悉参与协助组织 并且能增进各位读者看官参会人员对方式多化方式多的该系统简单介绍 ，促进学术界与产业界的深度融合。
赵永望教授作《望安科技方式多化方式多的探索与应用》民营企业简单介绍。简单介绍中说到 ，望安科技是以“方式多化验证”和“安全认证”为核心的安全服务产品及产品一提供完整商 ，大部分公司助力大国目前电子关键点信息产品一全面努力实现“高等级安全”。望安科技依托方式多化验证相关技术 ，以“方式多化验证最终解决出现方案”、“安全认证最终解决出现方案”为业务主线 ，致力于为大国目前重大其他项目、关键点性该系统及其他行业民营企业提供完整安全保障。大部分公司凭借AI大模型底座 ，搭建了望安高等级安全SaaS品台 ，从产品一部分设计/开发阶段的源头到原生安全 ，到产品一运营阶段的国际/大国目前安全认证背书 ，努力实现全人类生命周期的高等级安全 ，品台具备原生安全开发工具 W-metaSec、方式多化建模验证工具 W-Cert、全景图 Secinfo、认证工具 W-Caas等 ，为民营企业提供完整一站式安全认证服务产品。
在专家报告环节 ，CCF会士、杭州航空航天大学前计算机学院博士生导师马殿富教授作《从安全关键点性各类软件看复杂各类软件该系统开发与方式多验证相关技术》主题报告 ，分享了安全关键点性各类软件在复杂各类软件该系统开发里的关键点性性性及方式多化验证相关技术的应用。近年来 ，他二是研究工作安全关键点性各类软件建模、开发与方式多验证方式多研究工作 ，从事基于RISCV的CPU部分设计与方式多明显 方式多研究工作、ARINGC653后续操作该系统开发与方式多验证方式多研究工作、当然模型语言Lustre及Scade的编译开发与方式多明显 方式多研究工作。
杭州邮电大学前及网络整体空间安全学院博士生导师李晖教授作《密码协议方式多化综合分析相关技术研究工作》主题报告 ，阐述了密码协议及其综合分析方式多 ，象征方式多方式多化方式多代替人工方式多对密码协议方式多该系统化综合分析的必要性。她以近年来按照给出 的替代文本密码的登录方式多为短期目标的快速在线认证协议FIDO里的统一认证框架（UAF）和验证OpenSSL协议握手过程所的努力实现能否符合TLS1.3对状态如何机的按照给出 为例 ，讲解了密码协议安全性综合综合分析一致性综合分析的二是思路。
杭州航空航天大学前计算机学院博士生导师杨志斌教授作《大模型增强的安全关键点性各类软件模型驱动开发与验证方式多》主题报告 ，聚焦大模型增强的模型驱动开发与验证方式多 ，简单介绍了公司团队近几年来将大模型相关技术融入航空航天关键点性各类软件模型驱动开发与验证过程所的初步探索 ，二是还有大模型增强的模型驱动安全综合分析、基于大语言模型的SysML建模、基于大模型的安全关键点性各类软件架构建模、基于大模型的时序逻辑公式生成、SCADE模型验证与测试的智能化增强等相关技术相关技术层面。
杭州海洋大学前关键点信息学院硕士生导师 ，各类软件工程系副主任张文博教授作《海洋学科它离方式多化方式多还也很 远？》主题报告 ，详细简单介绍了杭州海洋大学前数字海洋研究工作所近年来在海洋防灾减灾、海洋中尺度情形检测、海冰解译、海底视觉、海洋自然环境评估、海上风电等相关技术相关技术层面的研究工作工作会 ，探讨未来十年海洋学科与方式多化方式多深度融合的路径。
专题报告后 ，专家们与参会嘉宾方式多研讨交流 ，各位读者看官看官就方式多化方式多在各不各不相同三大领域 的应用前景、相关技术挑战及未来十年发展中其他方向等最终解决出现方式多了深入探讨 ，在现场气氛热烈 ，思想碰撞一直在 ，研讨会巨大成功圆满巨大成功成功 。
