Second Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)

该奖项支持2008年10月6日至9日在加拿大多伦多举行的第二届IFIP“验证软件：理论、工具和实验（VSTTE 2008）”工作会议。构建可靠的软件是21世纪最重要的科学和工程挑战之一。微软研究院的Tony Hoare教授提出创建程序验证器是计算机科学的一个重大挑战，并概述了一个国际研究计划，该计划结合了许多学科，如编程语言的理论和实现、形式化方法、程序分析和自动定理证明。为了应对这一挑战，研究界建立了VSTTE系列会议。VSTTE 2008计划包括三个为期一天的研讨会，重点关注三个领域：理论、工具和实验。该合同是通过NITRD高可信度软件和系统（HCSS）机构间协调小组提供的支持实现的。

This award supports the Second IFIP Working Conference on "Verified Software: Theories, Tools, and Experiments (VSTTE 2008)", Oct 6-9, 2008, Toronto, Canada. The construction of reliable software poses one of the most significant scientific and engineering challenges of the 21st century. Professor Tony Hoare of Microsoft Research has proposed the creation of a program verifier as a grand challenge for computer science and outlined an international program of research combining many disciplines such as the theory and implementation of programming languages, formal methods, program analysis, and automated theorem proving. The VSTTE conference series was established by the research community in response to this challenge. The VSTTE 2008 program includes three one-day workshops focusing on the three areas of focus: theories, tools, and experiments. This award is enabled through support provided by the NITRD High Confidence Software and Systems (HCSS) interagency Coordinating Group.