2017年7月25-28日，金芝教授参加了在捷克布拉格举行的2017年IEEE软件质量、可靠性和安全性（QRS2017)国际会议，并在会上作了题为“Engineering Fine-Grained Dependability Requirements"大会特邀报告。
