Sponsors
IEICE Engineering Sciences Society
SICE
SICE Hokuriku Chapter
Japan Advanced Institute of Science and Technology (JAIST)
Research Center for Software Verification, JAIST
Kanazawa University
Research Foundation for the Electrotechnology of Chubu
Inoue Foundation for Science