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.

Each year the Association organizes the Conference on Computer Science Logic (CSL) and grants the Ackermann Award, for outstanding dissertations in Logic in Computer Science.

In evidence:

Alonzo Church Award 2017

The 2017 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau for providing a fully-abstract semantics for higher-order computation through the introduction of game models, thereby fundamentally revolutionising the field of programming language semantics, and for the applied impact
of these models.

CSL 2017

Stockholm, Aug 20-24, 2017

CSL 2018

Birmingham, September 4-7, 2018

Helmut Veith: In Memoriam

It was with great shock and deep sadness that we learnt of the demise on 12 March 2016 of our valued colleague, dear friend and member of the EACSL board, Helmut Veith.

Helmut was an outstanding researcher in the field of logic in computer science. His contributions to the EACSL include eight years of service on the board of the association, service as co-chair of the programme committee for CSL 2010 and, not least, his role in the organization of the splendid Vienna Summer of Logic in 2014. He had so much more to give but this has now been cut short much too prematurely. We shall miss him sorely.

For an obituary, see

A scholarship fund in memory of Helmut Veith has been established. For details on how to make a donation see: