:: Home
:: What is EACSL
:: Organization
:: Membership
:: CSL Conferences
:: Ackermann Award
:: Alonzo Church Award
:: CSL Bibliography
:: Constitutions
:: Minutes
:: Contact
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/


CSL 2016

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
  • Mickael 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.