国際学術貢献 2021年9月13日 - 2021年9月13日 Program co-chair, The 5th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2021), collocated with ECSA 2021 役割 企画立案・運営等 種別 大会・シンポジウム等 リンク情報 URLhttps://faacs-workshop.github.io/2021/