The European Association for Computer Science Logic (EACSL), founded 14 July 1992,
. Description of goals from EACSL official website. is an international professional non-profit organization representing the interests of its members and promoting

computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...

logic in the areas of

scientific research The scientific method is an empirical method for acquiring knowledge that has been referred to while doing science since at least the 17th century. Historically, it was developed through the centuries from the ancient and medieval world. The ...

and education. It supports both basic and application oriented research to advance the connections between basic research and industrial applications. The current president is Prof. Thomas Schwentick ( Technical University of Dortmund, Germany). Each year, the EACSL organizes the international conference ''Computer Science Logic (CSL)''
Complete list of past CSL conferences from

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Novem ...

, the ''Computer Science Bibliography''. and publishes the associated proceedings, it supports several workshops and summer schools
CSL 2013 affiliated Workshops and Summer Schools. and sponsors the Ackermann Award, the EACSL Outstanding Dissertation Award for Logic in Computer Science. The annual general meeting of members takes place each year during the annual international conference CSL.

References

External links

* {{Authority control Computer science organizations Information technology organizations based in Europe 1992 establishments in Europe