「リアクティブシステムの形式仕様の検証技法について」（仮題）

− sigfm 第15回月例会( Dec. 13,2001)−

期日　2001年12月13日（木）

場所 東京労働スクウエア（八丁堀）

当日の資料

後日の資料

　12月のsigfmは、東工大の米崎直樹さんから「リアクティブシステムの形式仕様の検証技法、特に時間論理の実際問題への適用可能性などを」についてお話しいただくことになりました。

プログラム

2001年12月13日（木）

13：30-16：45　講演

講師　米崎直樹(東工大）
内容　「リアクティブシステムの形式仕様の検証技法」(仮題）

17：30‐20：30　懇親会

場所 東京労働スクウエア（八丁堀）

開催要領

参加申し込み：定員になり次第、締め切らせていただきます。

--------------------------------------------------

SEA チュートリアル (Dec. 2001) 参加申込用紙

氏名(ふりがな)：　
組織名： 　　
部門・役職：
住所： (〒 　　−　　　　)　
Tel:
E-Mail:
種別(該当欄にチェック):

□　社会人　1,000円
□　学生　　500円

--------------------------------------------------

申し込み先：支払いは当日会場にてお願いします。

ｓｓ＠ｓｈｉｎｓａｈａｒａ．ｃｏｍ

当日の資料