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.
CSL 2017 in
Stockholm, Aug 20-24, 2017
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: