「システムLSI開発においてフォーマルメソッドに期待する役割と機能に関する話題」

（仮題）

− sigfm 第17回月例会( Feb. 26,2002)−

期日　2001年12月13日（木）

場所 川崎市産業振興会館（川崎市）

当日の資料

後日の資料

　2月のsigfmは、九州大学の安浦寛人さんから「システムLSI開発においてフォーマルメソッドに期待する役割と機能に関する話題」をお話しいただくことになりました。

プログラム

2002年2月26日（火）

13：30-16：45　講演

講師　安浦寛人さん

九州大学大学院システム情報科学研究院
　　情報工学専攻計算機科学講座
九州大学システムLSI研究センター
　　設計技術研究部門

内容　「システムLSI開発においてフォーマルメソッドに期待する役割と機能に関する話題」(仮題）

17：30‐20：30　懇親会（和志）

場所 川崎市産業振興会館（川崎市）

開催要領

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

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

SEA 月例会 (Feb. 2002) 参加申込用紙

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

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

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

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

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

当日の資料

システムLSI設計における形式的手法への期待1 (PDF 2.1MB) (Mac用PowerPoint 1MB)

システムLSI設計における形式的手法への期待2 (PDF 10MB) (Mac用PowerPoint 1.9MB)