European Association for Computer Science Logic

European Association for Computer Science Logic- EACSL promotes computer science logic in the areas of scientific research and education, supporting both basic and application oriented research. The association also intends to advance the connections between basic research and industrial applications. EACSL organizes the Conference on Computer Science Logic (CSL) and grants the Ackermann Award for outstanding dissertations in Logic in Computer Science.