¾Ë¸²¸¶´ç
³í¹®¸ðÁý

³í¹®À» Åõ°íÇϽñâ Àü¿¡, Submit & Attend üũ¸®½ºÆ®¸¦ Âü°íÇϽþî ÇØ´ç ÇÐȸ¿Í Çмú´ëȸÀÇ Á¤º¸¸¦ ÀÚ¼¼È÷ »ìÆ캸½Å ÈÄ ³í¹® Á¦Ãâ ¹× Âü°¡ ¿©ºÎ¸¦ ÁøÇàÇϽñ⠹ٶø´Ï´Ù.
¢Ñ Submit & Attend üũ¸®½ºÆ®

Á¦¸ñ CAV 2025 : 37th International Conference on Computer Aided Verification

Æ®À§ÅÍ °øÀ¯

ÆäÀ̽ººÏ °øÀ¯

¸¶°¨ÀÏÀÚ 2025/01/31 Àå¼Ò ±¹¿Ü | Zagreb, Croatia
ȨÆäÀÌÁö https://conferences.i-cav.org/2025/

CAV 2025 : 37th International Conference on Computer Aided Verification

July 21-25, 2025

Zagreb, Croatia



Important Dates:

- Full papers due: January 31, 2025

- Author Response Period: March 11 - 14, 2025

- Author notification: April 2, 2025