:: What is EACSL
:: CSL Conferences
:: Ackermann Award
:: Alonzo Church 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.
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.
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:
25th EACSL Annual Conference on
COMPUTER SCIENCE LOGIC (CSL) 2016 in Marseille. August 29 -
September 1st, 2016.
EACSL sponsored lectuer at ESSLLI 2016
Model Counting for Logical Theories by Chistikov and Dimitrova.
Ackermann Award 2015
- Hugo Férée
(currently TU Darmstadt)
Université de Lorraine, France, in 2014, supervisors: Jean-Yves
Marion and Mathieu Hoyrup,
Complexité d'ordre supérieur et analyse récursive
Randour (currently Université Libre de Bruxelles)
Université de Mons, Belgium, in 2014, supervisors: Véronique
Bruyère and Jean-François Raskin,
Synthesis in Multi-Criteria Quantitative Games
The Jury consisted of Thierry Coquand (Chalmers University of Gothenburg),
Anuj Dawar (University of Cambridge), the president of EACSL,
Dexter Kozen (Cornell University), SigLog representative,
Orna Kupferman (Hebrew University of Jerusalem),
Daniel Leivant (Indiana University, Bloomington),
Luke Ong (University of Oxford),
Jean-Éric Pin (CNRS and Université Paris 7),
Simona Ronchi della Rocca (University of Torino), the vice-president of EACSL.
A detailed report is published in the
CSL 2015 Proceedings.