PCサイトを見る

ニュース・イベント

イベント

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

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

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

76th.jpg

PAGETOP