BK
세미나
(해외석학)18년02월21일,,[Toshiaki Aoki],Vehicles need Formal Methods
등록일 18/02/20 09:48 작성자 BK관리자 조회수 1562

                                                              해외석학초빙세미나

 

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인력양성사업단

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

많은 참석 부탁드립니다.

자세한 내용은 첨부파일참고하세요 ← 클릭

 

목록

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

702-701 대구광역시 북구 대학로 80 경북대학교 IT융복합관(IT5호관) 233호
TEL: 053-950-7382 / 053-950-7375    FAX: 053-957-4846

Back to top