ニュース・イベント

MENU
イベント

第76回J-BEANSセミナー「形式手法実践への取り組み」

開催日時 令和元年12月18日（水） 12：40～13：20
会 場 ラーニング・コモンズ「J－BEANS」（大学会館1階）
講演題目 形式手法実践への取り組み
講 演 者 情報社会基盤研究センター　セキュリティ・ネットワーク領域　冨田 尭助教
言　語 日本語（スライド：英語）

● J-BEANSセミナーの趣旨・概要等については、こちらのページをご覧ください。

76th.jpg

PAGETOP