해외석학초빙세미나
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인력양성사업단
위와 같이 세미나를 진행합니다.
많은 참석 부탁드립니다.
자세한 내용은 첨부파일참고하세요 ← 클릭