닫기
Loading..

전자정보연구정보센터 ICT 융합 전문연구정보의 집대성

대회안내

홈 홈 > 알림마당 > 대회안내

논문을 투고하시기 전에, Submit & Attend 체크리스트를 참고하시어 해당 학회와 학술대회의 정보를 자세히 살펴보신 후 논문 제출 및 참가 여부를 진행하시기 바랍니다. ☞ Submit & Attend 체크리스트

제목 VMCAI 2020 : International Conference on Verification, Model Checking, and Abstract Interpretation

트위터 공유

페이스북 공유

개최일자 2020/01/19-21 장소 국외 | New Orleans, Louisiana, USA
홈페이지 https://popl20.sigplan.org/home/VMCAI-2020

VMCAI 2020 : 21st International Conference on Verification, Model Checking, and Abstract Interpretation

January 19-21, 2020

New Orleans, Louisiana, USA