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:


The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their invention of timed automata, a decidable model of real-time systems, which combines a novel, elegant, deep theory with widespread practical impact.

Description of the contribution


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 http://forsyte.at/2016/03/helmut-veith-1971-2016/

A scholarship fund in memory of Helmut Veith has been established. For details on how to make a donation see: http://www.informatikaustria.at/blog/2016/03/16/helmut-veith-award/