FM 2024

FM 2024 هو المؤتمر الدولي السادس والعشرون حول الأساليب الرسمية، والذي تنظمه Formal Methods Europe (FME)، وهي جمعية مستقلة.يهدف إلى تعزيز استخدام وبحث الأساليب الرسمية في تطوير البرمجيات. نجح ندوة FM في جمع الباحثين والمستخدمين الصناعيين حول الأوراق الأصلية وورش العمل والبرامج التعليمية وتقارير الأدوات والمشاريع وأبحاث الدكتوراه الجارية حول الأبحاث والتجارب الصناعية. يعد مؤتمر FM 2024 مناسبة للاحتفال ومنصة للباحثين والممارسين المتحمسين من خلفيات متنوعة لتبادل الأفكار ومشاركة الخبرات.

سيركز FM 2024 على تطوير وتطبيق الأساليب الرسمية في مجموعة واسعة من المجالات، بما في ذلك الذكاء الاصطناعي الجدير بالثقة، والبرمجيات، والأنظمة القائمة على الكمبيوتر، وأنظمة الأنظمة، والأنظمة السيبرانية الفيزيائية، والأمن، والتفاعل بين الإنسان والحاسوب، والتصنيع، والاستدامة، والطاقة، والنقل، والمدن الذكية، والرعاية الصحية، وعلم الأحياء. ونحن نرحب بشكل خاص بالأوراق البحثية حول التقنيات والأدوات والخبرات في الإعدادات متعددة التخصصات. ونحن نرحب أيضًا بالأوراق البحثية حول التجارب المتعلقة بتطبيق الأساليب الرسمية في البيئات الصناعية وحول تصميم أدوات الأساليب الرسمية والتحقق من صحتها.

تتضمن موضوعات FM 2024 ما يلي على سبيل المثال لا الحصر:

الأساليب الرسمية متعددة التخصصات:إظهار التقنيات والأدوات والخبرة في استخدام الأساليب الرسمية في بيئة متعددة التخصصات. تتضمن الأساليب الرسمية في الممارسة العملية ما يلي: التطبيقات الصناعية للأساليب الرسمية، والخبرة في الأساليب الرسمية الصناعية، وتقارير استخدام الأدوات، والتجارب على المشكلات الصعبة. نحن نشجع المؤلفين على شرح كيفية تغلب الأساليب الرسمية على المشكلات، وتحسين التصميمات، أو تقديم رؤى جديدة.

أدوات الأساليب الرسمية:التطورات في التحقق الآلي، والتحقق من النماذج واختبار الأساليب الرسمية، وتكامل الأدوات، وبيئات الأساليب الرسمية، والتحقق التجريبي من الأدوات. يتم تشجيع المؤلفين على إثبات تجريبياً أن الأداة أو البيئة الجديدة تعمل على تطوير أحدث التقنيات.
الأساليب الرسمية في هندسة البرمجيات والنظم: عمليات التطوير باستخدام الأساليب الرسمية، والمبادئ التوجيهية لاستخدام الأساليب الرسمية، ودمج الأساليب. يتم تشجيع المؤلفين على تقييم ابتكارات العملية من حيث التحسينات النوعية أو الكمية. ويتم أيضًا البحث عن البحوث التجريبية والتقييمات.

الأساس النظري للطرق الرسمية:جميع جوانب النظرية المتعلقة بالمواصفات والتحقق والتحسين والتحليل الثابت والديناميكي. يتم تشجيع المؤلفين على شرح كيفية مساهمة نتائجهم في حل المشكلات الحقيقية باستخدام الأساليب أو الأدوات الرسمية.

مواضيع النظام المضمن: سوف ينظم FM 2024 جلسة خاصة حول الأنظمة المضمنة بالتعاون مع ACM SIGBED. ستركز هذه الدورة على النظريات والأساليب والأدوات ذات الطبيعة الرسمية والتي يتم تطبيقها على الأنظمة المضمنة والوقت الحقيقي والأنظمة السيبرانية الفيزيائية.