본문바로가기

커뮤니티

더 높고 더 넓게 날며 더 넓은 열린 세상을 보는

경북대학교 IT대학 컴퓨터학부

세미나

경북대학교 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인력양성사업단

 

 

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

 

 

많은 참석 부탁드립니다.