7月7日のsigfm月例会は、形式手法の教育について、玉井 哲雄さん(東京大学)にお 話しいただくことになりました。
***************** 開催要領 *****************
1. 日 時： 2000年7月 7日 (金) 13:30 〜 16:45
2. 場 所： 労働スクエア東京 会議室 (東京・中央区 新富1-13-14)
3. プログラム：
13:00〜13:30 受付
13:30〜14:30
「形式手法のAからZまで --Zをどう教えたらよいか--」
玉井 哲雄さん (東京大学)
14:30〜15:00 質疑応答
15:00〜15:15 Coffee Break
15:15〜16:30 討論
16:30〜16:45 次回予定
17:30〜 懇親会@さがみや（予定）