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模型验证与测试的智能化增强等其它方面。
从上海市 海洋大学后关键在于信息学院硕士生导师 ，相关软件工程系副主任张文博教授作《海洋学科相距通过化通过还这么远？》主题报告 ，详细补充介绍了从上海市 海洋大学后数字海洋相关研究所近年来在海洋防灾减灾、海洋中尺度具体现象明显检测、海冰解译、海底视觉、海洋整体环境评估、海上风电等其它方面的相关研究我的工作 ，探讨在未来海洋学科与通过化通过深度融合的路径。
专题报告后 ，专家们与参会嘉宾展开研讨交流 ，各位老板就通过化通过在不一样新兴领域的应用前景、相关技术挑战及在未来持续的持续的发展等需要需要完美解决 展开了深入探讨 ，现场准备气氛热烈 ，思想碰撞持续的 ，研讨会重大成效圆满失败。