커뮤니티

세미나 안내

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

▣ 제목(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학기부터 정기 세미나 외 진행되는 특별 세미나는 출석 인정되지 않습니다.