كاف 2025
CAV تعني المؤتمر الدولي للتحقق بمساعدة الكمبيوتر. إنه المؤتمر السابع والثلاثون في سلسلة المؤتمرات المخصصة لتطوير نظرية وممارسة أساليب التحليل الرسمي بمساعدة الكمبيوتر لأنظمة الأجهزة والبرامج. غطى المؤتمر كل شيء من النتائج النظرية إلى التطبيقات الملموسة، مع التركيز على أدوات التحقق العملية والخوارزميات والتقنيات اللازمة لتنفيذها. وتعتقد CAV أنه من الضروري الاستمرار في دفع حدود التحقق من الأجهزة والبرامج مع التوسع في مجالات جديدة مثل التعلم الآلي والأنظمة المستقلة وأمن الكمبيوتر. سيتم نشر وقائع المؤتمر في سلسلة محاضرات Springer-Verlag في علوم الكمبيوتر. ومن المتوقع أن تتم دعوة بعض الأوراق البحثية للنشر في العدد الخاص من مجلة "الأساليب الرسمية في تصميم النظام" ومجلة "ACM Journal".
الموعد النهائي
الموعد النهائي لتقديم المقترحات أو الأوراق للمؤتمر أو الفعالية
02/02/2025، 08:00:00 ص
إعلان النتائج
يقوم المنظمون بإخطار المقدمين بقبول مقترحاتهم أو أوراقهم
02/04/2025، 12:00:00 ص
بدء الفعالية
الفترة التي يُعقد فيها المؤتمر أو الفعالية رسميًا
21/07/2025، 12:00:00 ص
نهاية الفعالية
وقت انتهاء المؤتمر أو الفعالية
25/07/2025، 12:00:00 ص
