中国 成都でCompsafe 2017 が行われました。当研究室からは浅井准教授，修士 ２年のリキ君が参加しました。

​浅井准教授は基調講演を行い，リキ君は口頭発表を行いました。