La Asociación Europea de Lógica Informática (EACSL), fundada el 14 de julio de 1992, [1] es una organización profesional internacional sin ánimo de lucro que representa los intereses de sus miembros y promueve la lógica informática en las áreas de investigación científica y educación. Apoya tanto la investigación básica como la orientada a aplicaciones para avanzar en las conexiones entre la investigación básica y las aplicaciones industriales. El presidente actual es el Prof. Thomas Schwentick ( Universidad Técnica de Dortmund , Alemania).
Cada año, la EACSL organiza la conferencia internacional Computer Science Logic (CSL) [2] y publica las actas asociadas, apoya varios talleres y escuelas de verano [3] y patrocina el Ackermann Award , el EACSL Outstanding Dissertation Award for Logic in Computer Science . La reunión general anual de miembros tiene lugar cada año durante la conferencia internacional anual CSL.