BCS-FACS

📅 آخر تحديث: ٢٥ يوليو ٢٠٢٦
✍️ نُشر في: ٢٥ يوليو ٢٠٢٦
📷 يحتوي على 2 صور
الموسوعة الحرة

BCS-FACS هي مجموعة BCS المتخصصة في الجوانب الرسمية لعلوم الحاسوب .

ملخص

تُنظّم مجموعة FACS، التي تأسست في 16 مارس 1978، [ 1 ] اجتماعات لأعضائها وغيرهم حول الأساليب الرسمية ومواضيع علوم الحاسوب ذات الصلة . وتصدر المجموعة مجلةً بعنوان " الجوانب الرسمية للحوسبة" (Formal Aspects of Computing ) عن دار نشر سبرينغر ، بالإضافة إلى نشرة إخبارية غير رسمية بعنوان "حقائق FACS" (FACTS) . [ 2 ]

احتفلت المجموعة بالذكرى السنوية العشرين لتأسيسها باجتماع في الجمعية الملكية في لندن عام 1998، مع عروض قدمها أربعة من علماء الكمبيوتر البارزين، وهم مايك جوردون ، وتوني هوار ، وروبن ميلنر ، وجوردون بلوتكين ، وجميعهم زملاء في الجمعية الملكية .

من عام ٢٠٠٢ إلى ٢٠٠٨ ومن عام ٢٠١٣ إلى ٢٠٢٥، ترأس جوناثان بوين جمعية الحاسبات البريطانية - قسم علوم الحاسبات (BCS-FACS) . وتولى جاويد صديقي رئاسة الجمعية خلال الفترة من ٢٠٠٨ إلى ٢٠١٣. وفي عام ٢٠٢٥، تولى كيث لاينز من المختبر الفيزيائي الوطني رئاسة الجمعية. في ديسمبر ٢٠٠٢، نظمت جمعية الحاسبات البريطانية - قسم علوم الحاسبات مؤتمرًا حول الجوانب الرسمية للأمن (FASec'02) [ ٣ ] في جامعة رويال هولواي ، جامعة لندن . [ ٤ ] وفي عام ٢٠٠٤، نظمت الجمعية حدثًا هامًا في جامعة لندن ساوث بانك للاحتفال بالذكرى السنوية الخامسة والعشرين لتأسيسها، وكذلك الذكرى الخامسة والعشرين لظهور برنامج علوم الحاسب الآلي (CSP25)، [ ٥ ] وحضره مؤسس برنامج علوم الحاسب الآلي، السير توني هوار ، وآخرون من رواد هذا المجال. [ ٦ ]

تتواصل المجموعة مع مجموعات أخرى ذات صلة، مثل مركز موثوقية البرمجيات ، ومنظمة الأساليب الرسمية في أوروبا ، ولجنة الحاسوب التابعة لجمعية لندن الرياضية ، ونادي الأنظمة الحساسة للسلامة ، ومجموعة مستخدمي Z. وقد عقدت اجتماعات مشتركة مع مجموعات متخصصة أخرى تابعة لجمعية الحاسبات البريطانية، مثل مجموعة البرمجة المتقدمة ومجموعة BCSWomen .

ترعى جمعية علوم الحاسوب التطبيقية (FACS) وتدعم اجتماعاتٍ مثل ورشة عمل التحسين. [ 7 ] وقد دأبت على تنظيم فعاليةٍ سنويةٍ بمناسبة عيد الميلاد، تتناول موضوعًا ذا صلةٍ بالجوانب الرسمية للحوسبة، مثل تدريس الأساليب الرسمية [ 8 ] وتطبيقها في الصناعة. [ 9 ] وقد دعمت جمعية علوم الحاسوب التطبيقية (FACS) التابعة لمعهد علوم الحاسوب البريطاني (BCS) مؤتمر ABZ لعام 2008 في مقرّ BCS بلندن. [ 10 ] وفي عام 2015، استضافت FACS ورشة عمل ProCoS لمدة يومين بعنوان "الأنظمة الصحيحة القابلة للإثبات"، بمشاركة العديد من الأعضاء السابقين في مشروعي ESPRIT ProCoS I وII وفريق العمل التابع لـ ESPRIT في التسعينيات. [ 11 ] [ 12 ]

ندوات مسائية

جون سي. رينولدز (1935-2013)، عالم حاسوب أمريكي، قدم أول ندوة بيتر لاندين للدلالات في BCS-FACS في عام 2010. [ 13 ]
جو ستوي يتحدث عن عالم الكمبيوتر الرائد كريستوفر ستراشي (1916-1975) بمناسبة مرور مائة عام على ميلاده، خلال ندوة مسائية نظمتها جمعية الحاسبات البريطانية (BCS) ورابطة الحاسبات الأمريكية (FACS) في مكتب جمعية الحاسبات البريطانية بلندن في 15 نوفمبر 2016.

في السنوات الأخيرة، تم عقد سلسلة من الندوات المسائية، بشكل رئيسي في مكتب جمعية الحاسبات البريطانية في لندن. وقد ضم المتحدثون نخبة من علماء الحاسوب، معظمهم من المملكة المتحدة وبعضهم من الخارج، بمن فيهم سامسون أبرامسكي، زميل الجمعية الملكية ، وجان ريموند أبريال ( فرنسا / سويسرا )، وفرهاد أرباب ، وتروي أستارت، ودينيس بيورنر (الدنمارك)، وروبن بلومفيلد ، وريتشارد بورنات (مرتين)، وإيغون بورغر ( إيطاليا )، وجوناثان بوين (مرتين)، ويان برونينك ( هولندا )، ومايكل بتلر ، وموفي كالدر ، الحائزة على وسام الإمبراطورية البريطانية (مرتين)، وجاك كوبلاند ( نيوزيلندا )، وتيم دينفير ، وسيدريك فورنيه (فرنسا)، ومايك غوردون ، زميل الجمعية الملكية ، وأنتوني هول ، ومارك هارمان ، ومارتن هينسون ، وروب هيرونز ، وجين هيلستون ، ومايك هينشي ، والسير توني هوار ، زميل الجمعية الملكية ، ومايك هولكومب ، ومايكل جاكسون ، وكليف جونز ، ومارتا كوياتكوفسكا (مرتين)، وزيمينغ ليو ، وتوم مايباوم ، ودام أورسولا مارتن . بيتر موسيس ، وبن موسكوفسكي ، وبيتر أوهيرن (زميل الجمعية الملكية ) ، وستيف ريفز (نيوزيلندا)، وجون رينولدز (الولايات المتحدة الأمريكية)، وبيتر رايان ، وستيف شنايدر ، وجو ستوي ، وديفيد تيرنر ، وجون تاكر ، وفيل وادلر ، وغيرهم. في عام ٢٠١٠، نُشر كتابٌ يضم فصولًا مبنية على بعض هذه المحاضرات. [ ١٤ ] تُعقد المحاضرات سنويًا بالتعاون مع جمعية الأساليب الرسمية الأوروبية وجمعية لندن الرياضية (في مقر جمعية لندن الرياضية بوسط لندن). ومنذ عام ٢٠١٠، تُعقد ندوة بيتر لاندين السنوية لعلم الدلالة في شهر ديسمبر من كل عام، إحياءً لذكرى عالم الحاسوب البريطاني بيتر لاندين (١٩٣٠-٢٠٠٩). [ ١٥ ]

نشرة حقائق FACS

تُنشر نشرة FACS FACTS (ISSN 0950-1231) دوريًا، وكانت تُطبع ورقيًا في الأصل، ثم أصبحت تُنشر إلكترونيًا. [ 2 ] المحرران هما تيم دينفير وبرايان موناهان. [ 16 ] 

كان إف إكس ريد مساهمًا منتظمًا في نشرة FACS FACTS الإخبارية في الماضي. على سبيل المثال، كان من المتحمسين لعبارة COMEFROM وخبيرًا في دلالاتها. [ 17 ] ويبدو أن التقارير التي أفادت بوفاة إف إكس ريد عام 2006 [ 18 ] كانت غير صحيحة، واستمرت كتاباته في النشرة الإخبارية بعد ذلك التاريخ.

انظر أيضاً

مراجع

  1. ↑ كوك، دي جيه؛ سيمبسون، دي. (أبريل 1990). "FACS في عامها العاشر". حقائق FACS : النشرة الإخبارية لمجموعة الجوانب الرسمية لعلوم الحوسبة التابعة لجمعية الحاسبات البريطانية . السلسلة الثانية. 1 (1): 4-6 .
  2. 1 2 "الأعداد السابقة من مجلة FACS FACTS" . BCS-FACS . تم الاطلاع عليه بتاريخ 3 أغسطس 2022 .
  3. ↑ "مؤتمر FASec'02" . Archive.org . جامعة لندن ساوث بانك . 2002. مؤرشف من الأصل في 27 سبتمبر 2007.
  4. ↑ علي عبد الله، بيتر رايان، وستيف شنايدر (محررون)، الجوانب الرسمية للأمن . سبرينغر ، سلسلة محاضرات في علوم الحاسوب ، المجلد 2629، 2003. ISBN 3-540-20693-0.
  5. ↑ "مؤتمر CSP25" . Archive.org . جامعة لندن ساوث بانك . 2004. مؤرشف من الأصل في 8 أكتوبر 2007.
  6. ↑ علي عبد الله، وكليف جونز ، وجيف ساندرز (محررون)، العمليات المتسلسلة المتصلة: أول 25 عامًا . سبرينغر ، سلسلة محاضرات في علوم الحاسوب ، المجلد 3525، 2005. ISBN 3-540-25813-2.
  7. ↑ جون ديريك، إيركي بويتن، جيم وودكوك ، ويواكيم فون رايت (محررون)، REFINE 2002: ورشة عمل BCS FACS للتحسين . ملاحظات إلكترونية في علوم الحاسوب النظرية ، 70 (3). دار نشر إلسيفير للعلوم ، يوليو 2002.
  8. ↑ بول بوكا، جوناثان ب. بوين، وديفيد أ. دوس (محررون)، تدريس الأساليب الرسمية: الممارسة والخبرة ، بي سي إس لندن، المملكة المتحدة، 15 ديسمبر 2006. ورش العمل الإلكترونية في الحوسبة (eWiC)، بي سي إس، 2006.
  9. ↑ بول بوكا، جوناثان ب. بوين، وبيتر غورم لارسن (محررون)، ورشة عمل عيد الميلاد لعام 2007 التابعة لجمعية علوم الحاسوب البريطانية: الأساليب الرسمية في الصناعة ، جمعية علوم الحاسوب البريطانية، لندن، المملكة المتحدة، 17 ديسمبر 2007. ورش العمل الإلكترونية في الحوسبة (eWiC)، جمعية علوم الحاسوب البريطانية، 2007.
  10. ↑ "مؤتمر ABZ 2008" . سبتمبر 2008. مؤرشف من الأصل في 18 يناير 2008. تم الاطلاع عليه في 25 أغسطس 2017 .
  11. ↑ هينشي، مايكل ج .؛ بوين، جوناثان ب .؛ أولديروغ، إرنست-روديجير ، محرران (2017). أنظمة صحيحة قابلة للإثبات . سلسلة دراسات ناسا في هندسة الأنظمة والبرمجيات. سبرينغر . ISBN 978-3319486277.
  12. ↑ بوين، جوناثان ب .؛ فرانزل، مارتن؛ أولديروغ، إرنست-روديغر ؛ بيورنر، داينز ؛ هانسن، مايكل ر.؛ لانغماك، هانز ؛ ليو، زيمينغ ؛ مارتن، أورسولا (17 مارس 2026). "تجارب من مشاريع ProCoS الأوروبية: أنظمة صحيحة قابلة للإثبات" . الجوانب الرسمية للحوسبة . ACM . doi : 10.1145/3803555 .
  13. ↑ "ندوة بيتر لاندين السنوية في علم الدلالة" . BCS-FACS . لندن، المملكة المتحدة: BCS. 6 ديسمبر 2010. مؤرشف من الأصل في 6 مارس 2012.
  14. ↑ بوكا، بول؛ بوين، جوناثان ب.؛ صديقي، جاويد، محرران. (2010). الأساليب الرسمية: أحدث ما توصل إليه العلم والاتجاهات الجديدة . لندن: سبرينغر-فيرلاغ . Bibcode : 2010fmso.book.....B . doi : 10.1007/978-1-84882-736-3 . ISBN 978-1-84882-735-6.رقم الكتاب الإلكتروني الدولي الموحد (e- ISBN) 978-1-84882-736-3.
  15. ↑ "ندوة بيتر لاندين السنوية في علم الدلالة، BCS-FACS" . الجمعية البريطانية للحاسبات . 2012. تاريخ الاسترجاع: 4 ديسمبر 2012 .
  16. ↑ "FACS: اللجنة وتفاصيل الاتصال" . BCS . تم الاطلاع عليه بتاريخ 25 يناير 2021 .
  17. ↑ ريد، إف إكس (مارس 2006). "حول الدلالات الرسمية لعبارة COMEFROM" (ملف PDF) . FACS FACTS . العدد 2006-1 . BCS-FACS. الصفحات 18-20 . تاريخ الاسترجاع: 7 نوفمبر 2012 .  
  18. ↑ زيمانتكس، فيكتور (مارس 2006). "نعي: إف إكس ريد" (ملف PDF) . حقائق FACS . العدد 2006-1 . BCS-FACS. الصفحات 12-14 . تاريخ الاطلاع: 7 نوفمبر 2012 .