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

− sigfm 第15回月例会( Nov. 22,2001)−

期日　2001年11月22日（木）

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

当日の資料

後日の資料

　11月のsigfmは、ＳＲＡ−ＫＴＬの中川中さんから「algebra-coalgebra structures for behavioural specifications」についてお話しいただくことになりました。

プログラム

2001年11月22日（木）

13：30-16：45　講演

講師　中川中（ＳＲＡ−ＫＴＬ）
内容　algebra-coalgebra structures for behavioural specifications

17：30‐20：30　懇親会：ふぐ割烹「さがみや」

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

開催要領

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

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

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

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

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

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

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

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

当日の資料