IPA/SEC人材育成WGが作成している研修教材を使用して、VDM（The Vienna Development Method）を中心に、形式手法の基本についてご講演頂きました。最初に、新谷氏から教材の内容と、VDMの概要についてご紹介頂きました（写真(上)）。続いて、佐原氏からVDMによるモデル化と適用方法について、VDMのソースコードを用いてご説明頂きました（写真(下)）。

質疑応答では、「なぜ、VDMを用いるのか？」、「VDMによるモデル化は、日本語での仕様書作成、あるいはプログラム開発と重複する作業に思えて、抵抗感が強い」といった参加者からの質問に対して、ご回答頂きました。セミナー終了後の意見交換会においても、講演者と参加者の間で活発な議論が展開されました。