形式化方法基于严格数学，为设计、分析和验证计算系统提供规约、分析、验证和构造理论、方法和技术。形式化方法是设计和验证可信计算系统的一种重要途径，已经成为各种安全攸关系统设计开发国际和行业标准的必备关键技术。美国自然基金会实施了“形式化方法在不同领域”（Formal Methods in the Field，FMitF）的重大研究计划 。
本次战略研讨会将邀请国内形式化方法、编程语言等相关方向的专家学者围绕形式验证基础工具与前沿挑战进行研讨，比较中外发展差距，讨论未来发展趋势及我国应对策略，凝练形式化方法和编程语言领域的重点研究方向，为国家计算机软件与理论学科重点项目布局规划提供建议和参考。
