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, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

logic in the areas of

scientific research The scientific method is an empirical method for acquiring knowledge that has characterized the development of science since at least the 17th century (with notable practitioners in previous centuries; see the article history of scientific ...

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 No ...

, 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

* {{Official website Computer science organizations Information technology organizations based in Europe 1992 establishments in Europe