رابطة البرمجة المنطقية
تأسست جمعية البرمجة المنطقية (ALP) عام ١٩٨٦. وتتمثل مهمتها في "المساهمة في تطوير البرمجة المنطقية ، وربطها بالعلوم الرسمية والإنسانية الأخرى، وتعزيز استخدامها في الأوساط الأكاديمية والصناعية في جميع أنحاء العالم". وتتولى الجمعية إدارة المؤتمر الدولي للبرمجة المنطقية ، [ ١ ] وتشرف على مجلة " نظرية وممارسة البرمجة المنطقية " (TPLP)، [ ٢ ] وتصدر نشرة إلكترونية. [ ٣ ]
تُدار أنشطة الجمعية من قِبل لجنة تنفيذية ورئيس منتخبين من قِبل أعضاء حزب العمل الأفريقي. الرئيس الحالي هو إنريكو بونتيلي. [ 4 ] فيما يلي قائمة بجميع الرؤساء: [ 5 ]
- 2024- إنريكو بونتيلي في جامعة ولاية نيو مكسيكو
- 2019-2024 توماس إيتر ( فترة مؤقتة 2019-2020) في جامعة فيينا للتكنولوجيا
- 2014-2019 تورستن شوب في جامعة بوتسدام
- 2010-2014 غوبال غوبتا في جامعة تكساس، دالاس
- 2005-2009 مانويل هيرمينجيلدو في الجامعة التقنية بمدريد
- 2001-2004 فيرونيكا دال في جامعة سيمون فريزر
- 1997-2000 Krzysztof R. Apt في Centrum Wiskunde & Informatica في أمستردام
- 1993-1996 ديفيد سكوت وارين في ستوني بروك
- 1989-1992: هيرفيه غالير في المركز الأوروبي لأبحاث صناعة الحواسيب في ميونيخ
- 1986-1988 كيث كلارك في إمبريال كوليدج لندن
في عام 1997، منحت جمعية البرمجة المنطقية (ALP) لقب مؤسسي البرمجة المنطقية لخمسة عشر باحثًا معترفًا بهم في مجال البرمجة المنطقية، وذلك تقديرًا لهم كرواد في هذا المجال. [ 6 ]
- موريس بروينوغ (بلجيكا)
- جاك كوهين (الولايات المتحدة)
- آلان كولميرور (فرنسا)
- كيث كلارك (المملكة المتحدة)
- فيرونيكا دال (كندا/الأرجنتين)
- مارتن فان إمدن (كندا)
- هيرفيه غالير (فرنسا)
- روبرت كوالسكي (المملكة المتحدة)
- جاك مينكر (الولايات المتحدة)
- فرناندو بيريرا (الولايات المتحدة)
- لويس مونيز بيريرا (البرتغال)
- راي رايتر (كندا)
- ج. آلان روبنسون (الولايات المتحدة الأمريكية)
- بيتر سيريدي (المجر)
- ديفيد إتش دي وارين (المملكة المتحدة)
جائزة آلان كولميرور من حزب العمال الأسترالي
جائزة آلان كولميراور للتراث في لغة برولوج (باختصار: جائزة آلان كولميراور ) [ 7 ] تُنظمها جمعية برولوج. تُمنح الجائزة للإنجازات الحديثة والتقدم العملي في مجال الحوسبة المستوحاة من لغة برولوج، بمفهومها الواسع، حيث تكون المساهمات الأساسية والتكنولوجية والعملية مؤهلة مع وجود أدلة مثبتة أو إمكانات للتطوير المستقبلي لبرمجة المنطق.
مراجع
- ↑ "مؤتمرات ICLP" . رابطة البرمجة المنطقية . تم الاطلاع عليه بتاريخ 15 أكتوبر 2022 .
- ↑ "نظرية وممارسة البرمجة المنطقية" . مطبعة جامعة كامبريدج . تم الاطلاع عليه بتاريخ 15 أكتوبر 2022 .
- ↑ "نشرة ALP" . جمعية البرمجة المنطقية . تم الاطلاع عليها بتاريخ 15 أكتوبر 2022 .
- ↑ "النشرة الإخبارية، 29 أغسطس 2024، جمعية البرمجة المنطقية" . جمعية البرمجة المنطقية . تم الاطلاع عليها بتاريخ 22 سبتمبر 2024 .
- ↑ "انتخابات حزب العمال في اللجنة الانتخابية" . جمعية البرمجة المنطقية . 1997. تم الاطلاع عليه بتاريخ 16 أكتوبر 2022 .
- ↑ "جوائز ALP" . جمعية البرمجة المنطقية . 1997. تم الاطلاع عليه بتاريخ 15 أكتوبر 2022 .
- ↑ "جائزة آلان كولميرور من جمعية البرمجة المنطقية " . تم الاطلاع عليها بتاريخ 5 يوليو 2024 .
روابط خارجية
- منظمات علوم الحاسوب
- المنظمات التي تأسست عام 1986
- الجمعيات المهنية ذات الصلة بعلوم الحاسوب
