International Session

[1S4-IS-1] Knowledge engineering

Tue. Jun 14, 2022 2:20 PM - 4:00 PM Room S (Online S)

Chair: Rafal Rzepka (Hokkaido University)

2:20 PM - 2:40 PM

[1S4-IS-1-01] Formal Verification in Society 5.0

〇Xiaoyun Guo¹, Guanhong Li¹ (1. Japan Advanced Institute of Science and Technology)

Working-in-progress

2:40 PM - 3:00 PM

Tzu-Ying Yang², Chih-Chuan FAN², Sieh-Chuen HUANG², 〇Hsuan-Lei SHAO¹ (1. National Taiwan Normal Univ., 2. National Taiwan Univ.)

Regular

3:00 PM - 3:20 PM

〇Yangyang Zhou¹, Kongmeng Liew¹, Shuntaro Yada¹, Shoko Wakamiya¹, Eiji Aramaki¹ (1. NARA INSTITUTE OF SCIENCE AND TECHNOLOGY)

Regular

3:20 PM - 3:40 PM

〇Yusei Ohwada¹, Mitsuhiko Horie¹, Hiroyuki Kasai¹ (1. Waseda University)

Regular

3:40 PM - 4:00 PM

〇Jun-Li Lu¹, Yoichi Ochiai¹ (1. University of Tsukuba)

Regular