東京支部TPC主催（LMAG共催）で下記の講演会を開催致します。どなたでも無料でご参加頂けます。皆様のご参加を心よりお待ちしております。

■講演者：劉 少英 氏（広島大学大学院 先進理工系科学研究科教授）
■講演タイトル：「形式工学手法：形式手法とソフトウェア工学の橋渡し」(Formal Engineering Methods: Bridging Formal Methods and Software Engineering)
■開催日時： 2023年6月26日（月） 15:00～16:30
■開催場所： 機械振興会館　地下3階　B3-2
　〒105-0011 東京都港区芝公園３丁目５−８
　地図はこちら

★Web方式（Zoom利用予定）も併催にて開催いたします。参加申し込みの際、ご希　望の参加方法をお選び下さい。Web方式での参加方法など詳細はお申込み頂いた方に後日お知らせいたします。

■主催/共催：
IEEE 東京支部 TPC (Technical Program Committee)（主催）
IEEE 東京支部 LMAG（Life Members Affinity Group）（共催）
IEEE 広島支部（共催）
■協賛：電子情報通信学会（予定）

■定員：
会場でのご参加　25名 　*マスクの着用は任意でお願いいたします。
WEBでのご参加　200名　（Zoom利用予定）

■参加費：無料
■申込方法：下記の申し込みフォームへご記入・ご送信下さい。
　申し込みフォーム
■参加申込締切：2023年6月22日（木）締切
■お問い合わせ先メールアドレス: tokyosec@ieee-jp.org