■日時：2009年3月27日(金) 10時〜17時（受付開始：午前9時半）
■会場：国立情報学研究所 20階ミーティングルーム1・2会議室
■参加費：一般会員 7,000円 、一般非会員 20,000円 、学生会員 2,000円 、学生非会員 4,000円
※NPO法人 トップエスイー教育センター、日本ソフトウェア科学会、情報処理学会ソフトウェア工学研究会の会員が割引の対象となります。
※GRACEセンター協賛企業の方は別途お問い合わせください。
■詳細は「モデル検査ツールUPPAALを使った時間制約の検証」参加募集のご案内
