http://www.fmeurope.org/?p=385
2010年11月16日
2010年8月
Heriot-Watt University、FME
2010年8月、Heriot-Watt 主催の第３回目となる国際会議、Verified Software: Theories, Tools and Experiments (VSTTE 2010）がエディンバラで開催された。
VSTTEは、大規模ソフトウエアの認証についての科学的な課題に取り組む15年計画の国際提携プロジェクト、Verified Software Initiative （VSI) の一環である主要な会議。VSTTE2010には産学界の国際的な有力組織が参加した。
本年の会議では、新規かつ大きな成功を収めた催しが多数あった。10人の著名な講演者と30人の受講者による２日間のサマースクールや、11の国際チームが参加したソフトウエア認証ライブコンペなどである。さらに、Microsoft Verified Software Milestone Award の設置も発表された。
VSTTEは、産業界、資金提供機関、およびFMEなどの学術機関などから支援を受けている。これまで2005年（チューリッヒ）、2008年（トロント）に開催されてるが、今後は毎年の開催となり、VSTTE2011はアメリカで予定されている。