NEWS&TOPICS

VSTTE 2010 開催

MRI

情報源

http://www.fmeurope.org/?p=385

発表日

2010年11月16日

実施時期

2010年8月

実施者等

Heriot-Watt University、FME

概要

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

このページの先頭へ戻る