커뮤니티
세미나 안내
View
3/13(수) 4pm 2024-1학기 CSE/GSAI 정기 Seminar 안내_김지응 교수(인하대학교) | ||
---|---|---|
작성자 시스템 | 작성일 24/03/11 (00:00) | 조회수 345 |
▣ 제목(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학기부터 정기 세미나 외 진행되는 특별 세미나는 출석 인정되지 않습니다.
- 20240313_김지응교수_포스터.png (587.3 KB)