EACSL
European Association for Computer Science Logic (EACSL), założone 14 lipca 1992 r., jest międzynarodową profesjonalną organizacją non-profit reprezentującą interesy swoich członków i promującą logikę informatyki w obszarach badań naukowych i edukacji. Obsługuje zarówno badania podstawowe, jak i zorientowane na zastosowania, aby rozwijać połączenia między badaniami podstawowymi a zastosowaniami przemysłowymi. Obecnym prezesem jest prof. Thomas Schwentick ( Uniwersytet Techniczny w Dortmundzie , Niemcy).
Każdego roku EACSL organizuje międzynarodową konferencję Computer Science Logic (CSL) i publikuje związane z nią materiały, wspiera kilka warsztatów i szkół letnich oraz sponsoruje nagrodę Ackermanna, nagrodę EACSL Outstanding Dissertation Award for Logic in Computer Science. Doroczne walne zgromadzenie członków odbywa się co roku podczas dorocznej międzynarodowej konferencji CSL.
