KAIST 전산학부 김문주 교수가, 2018년 10월 10-12일에 열리는 제15회 Intl. Conf. on Formal Aspects of Component Software (FACS) 에 UC Berkeley의 Edward Lee 교수, UIUC의 Gigore Rosu 교수와 함께 키노트 연사로 초빙 되었다.

http://sevlab.postech.ac.kr/facs18/invited-speakers/

키노트 제목: Lessons Learned from Automated Analysis of Industrial SW for 15 Years