본문 바로가기

세미나 안내

View
3/13(수) 4pm 2024-1학기 CSE/GSAI 정기 Seminar 안내_김지응 교수(인하대학교)
작성자 시스템 작성일 24/03/11 (00:00) 조회수 101

 
 
 
▣ 제목(Title) : Building high-assurance system software via formal verification
▣ 연사(Speaker) : 지응 교수(인하대학교)
▣ 초청(Host) : 배경민 교수
▣ 일시(Date &Time) : 2024.3.13(Wed), 4pm ~
장소(Venue) : PIAI #133 (인공지능연구원 중강당 133)
▣ 언어(Language) : 한국어(Korean)
* 2023-1학기부터 대면으로만 진행됨을 알려드립니다.
* 2023-1학기부터 정기 세미나 외 진행되는 특별 세미나는 출석 인정되지 않습니다.