:: What is EACSL
:: CSL Conferences
:: Ackermann Award
:: Alonzo Church Award
:: CSL Bibliography
Aims: Computer science logic is an interdisciplinary field between
mathematical logic and computer science. The EACSL promotes computer
science logic in the areas of scientific research and education. It
supports both basic and application oriented research. The
association also intends to advance the connections between basic
research and industrial applications.
History: The EACSL was founded on July 14th 1992 at Schloss
Dagstuhl, Germany, by computer scientists and logicians from 14
countries, on the initiative of Egon Boerger who also acted as the first President from 1992-1997.
The Association acts as an international professional
non-profit organization representing the interests of its members.
Activities: The EACSL: