경북대학교 IT대학 컴퓨터학부에 오신것을 환영합니다.
18년02월21일,[Toshiaki Aoki],Vehicles need Formal Methods
작성자
이현경
작성일
2018-02-14 09:34
조회수
2,506
첨부파일 : Seminar notice(Toshiaki Aoki).pdf [56 KB]
해외석학 초빙세미나
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인력양성사업단
위와 같이 세미나를 진행합니다.
많은 참석 부탁드립니다.