• 전체
  • 전자/전기
  • 통신
  • 컴퓨터
닫기
Loading..

Please wait....

논문모집

홈 홈 > 알림마당 > 논문모집
CAV 2020 : 32nd International Conference on Computer-Aided Verification
마감일자 2020/01/23 국내/국외 국외
홈페이지 http://i-cav.org/2020/ 장 소 Los Angeles, CA, USA

CAV 2020 : 32nd International Conference on Computer-Aided Verification

July 19-24, 2020

Los Angeles, CA, USA



Important Dates:

- Paper submission : January 23, 2020

- Notification : April 3, 2020

- Artifact submission for full papers : April 14, 2020

- Artifact notification : May 10, 2020

- Final version due : May 15, 2020