EACSL

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

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