EACSL

الجمعية الأوروبية لمنطق علوم الحاسوب (EACSL)، التي تأسست في 14 يوليو 1992، ^{[ 1 ]} هي منظمة مهنية دولية غير ربحية تمثل مصالح أعضائها وتعزز منطق علوم الحاسوب في مجالات البحث العلمي والتعليم. تدعم الجمعية البحوث الأساسية والتطبيقية على حد سواء لتعزيز الروابط بين البحوث الأساسية والتطبيقات الصناعية. يشغل منصب رئيسها الحالي البروفيسور توماس شفينتيك ( الجامعة التقنية في دورتموند ، ألمانيا).

تنظم الجمعية الأوروبية لمنطق علوم الحاسوب (EACSL) سنوياً المؤتمر الدولي لمنطق علوم الحاسوب (CSL) ^{[ 2 ]} وتنشر وقائع المؤتمر، كما تدعم العديد من ورش العمل والمدارس الصيفية ^{[ 3 ]} وترعى جائزة أكرمان، وهي جائزة EACSL لأفضل أطروحة في منطق علوم الحاسوب. ويُعقد الاجتماع السنوي العام للأعضاء بالتزامن مع المؤتمر الدولي السنوي لمنطق علوم الحاسوب (CSL).

• الموقع الرسمي