학회 시리즈

SPIN: International SPIN Symposium on Model Checking of Software

Conference Partner에 수록된 이 학회의 역대 개최 정보(최신순)입니다.

연도 개최일 개최지 투고 마감일 통보일
2027 이번 회차 2027-04-14 Copenhagen, Denmark 2027-01-21 —
2026 2026-04-15 Torino, Italy 2026-01-15 2026-03-05
SPIN 2027(으)로 돌아가기