해외석학 초빙세미나

1. 주 제 : Vehicles need Formal Methods

2. 발표자 : Prof. Toshiaki Aoki

Security and Networks Field, School of Information Science,

Japan Advanced Institute of Science and Technology(JAIST)

3. 일 시 : 2018.02.21. 15:00 ~ 17:00

4. 장 소 : 경북대학교 IT4호관108호

5. 대 상 : 경북대학교 교수 및 대학원생

6. 주 최 : Next-generation Information Computing Development Project,

BK21+ Smart Life실현을 위한SW인력양성사업단

위와 같이 세미나를 진행합니다.

많은 참석 부탁드립니다.