European Association for Computer Science Logic
:: What is EACSL
:: CSL Conferences
:: Ackermann Award
:: CSL Bibliography
The EACSL was founded on July 14th 1992, by
computer scientists and logicians from 14 countries.
The Association acts
as an international professional non-profit organization.
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.
In evidence:Call for submissions for the Ackermann Award 2013.
The Ackermann Award 2012 has been granted to:
A detailed report is published in the CSL'12 Proceedings.