La Asociación Europea de Lógica de la 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 de la informática en las áreas de investigación y educación científica . 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 profesor 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 Premio Ackermann, el Premio EACSL a la Mejor Tesis Doctoral en Lógica en Ciencias de la Computación. La reunión general anual de miembros tiene lugar cada año durante la conferencia internacional anual CSL.