저희 소프트웨어재난연구센터에서는 아래와 같은 일정으로 세미나를 개최하고자 합니다.

많은 관심과 참석 부탁드립니다.

1. 일   시 : 2022년 10월 31일 월요일 14:00

2. 장   소 : 오프라인 : 경북대학교 글로벌플라자 1202호

                 온라인(ZOOM) : https://us02web.zoom.us/j/8798584725?pwd=RUluYWRMYjlaWkJVbkFXZXVDNGExQT09

3. 강연자 : 김지응 교수(인하대학교)

4. 주   제 : Large-scale operating & distributed system formal verification using Coq

5. 주   최 : 소프트웨어재난연구센터, 소프트웨어기술연구소, BK21 지능융합SW교육연구단