CCF形式化方法专委会战略研讨暨2023年第1期前瞻科技智库论坛

本次战略研讨会将邀请国内形式化方法、编程语言等相关方向的专家学者围绕形式验证基础工具与前沿挑战进行研讨，比较中外发展差距，讨论未来发展趋势及我国应对策略，凝练形式化方法和编程语言领域的重点研究方向，为国家计算机软件与理论学科重点项目布局规划提供建议和参考。