EACSL

1992年7月14日に設立された欧州コンピュータサイエンス論理学会（EACSL）^[1] は、会員の利益を代表し、科学研究および教育分野におけるコンピュータサイエンス論理の推進を目的とした国際的な専門非営利団体です。基礎研究と産業応用の連携を促進するため、基礎研究と応用研究の両方を支援しています。現会長はトーマス・シュヴェンティック教授（ドルトムント工科大学、ドイツ）です。

EACSLは毎年、国際会議「コンピュータサイエンス論理学（CSL）」^[2]を主催し、関連する議事録を出版しています。また、ワークショップやサマースクール^[3]を支援し、アッカーマン賞（EACSLコンピュータサイエンス論理学優秀論文賞）を後援しています。会員の年次総会は、毎年開催される国際会議CSLの期間中に開催されます。