11月16日（水）～18日（金）の3日間、パシフィコ横浜（神奈川県横浜市西区みなとみらい）で最新技術が集結する「EdgeTech+ 2022　～事業変革を推進するための最新技術とつながる総合展～」が開催されました。

　本学からは次世代デジタル社会基盤研究領域の青木 利晃教授が出展しました。

　形式手法を活用したIoTシステム・車載システムの安全性・信頼性に関する検証技術を中心に、モデルベーステストツール、モデル検査応用技術、機械学習システムの検証技術などを、実際の産業界への応用例なども交え展示しました。

　本学ブースには企業関係者をはじめ、大学・研究関係者、一般の方などが来訪され、活発な情報交換の場となりました。

本学出展ブースにて来訪者へ説明・情報交換等を行う様子

令和4年11月28日