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.
News:
Ackermann Award 2024
The Ackermann Award 2024 is bestowed on Gaëtan Douéneau-Tabot for the thesis Optimization of string transducers, supervised by Olivier Carton and Emmanuel Filiot at Université Paris-Cité (France), and Aliaume Lopez for the thesis First Order Preservation Theorems in Finite Model Theory: Locality, Topology, and Limit Constructions, supervised by Jean Goubault-Larrecq and Sylvain Schmitz at ENS Paris-Saclay and Université Paris-Cité (France), respectively. A detailed report is published in the CSL 2025 proceedings. More information here.Alonzo Church Award 2024
The European Association for Computer Science Logic (EACSL), the European Association for Theoretical Computer Science (EATCS), and the ACM Special Interest Group for Logic and Computation (SIGLOG) are pleased to announce that the 2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented jointly to
Thomas Ehrhard and Laurent Regnier
for giving a logical and computational account of differentiation, bringing Taylor expansion to the Curry-Howard correspondence, which had a major impact on programming language semantics. More details on the page dedicated to the Alonzo Church Award.
Ackermann Award 2023
The Ackermann Award 2023 is bestowed on Gabriele Vanoni for his thesis On Reasonable Space and Time Cost Models for the λ-Calculus defended at Università di Bologna, (Italy) in 2022, supervised by Ugo Dal Lago. A detailed report is published in the CSL 2024 proceedings. More information here.
Alonzo Church Award 2023
The 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation was awarded jointly to Lars Birkedal, Aleš Bizjak, Derek Dreyer, Jacques-Henri Jourdan, Ralf Jung, Robbert Krebbers, Filip Sieczkowski, Kasper Svendsen, David Swasey and Aaron Turon for the design and implementation of Iris, a higher-order concurrent separation logic framework. For more details, see the full citation.
The 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation was jointly awarded by by the European Association for Computer Science Logic (EACSL), the European Association for Theoretical Computer Science (EATCS), and the ACM Special Interest Group for Logic and Computation (SIGLOG)
Statement about the war in Ukraine
The European Association for Computer Science Logic (EACSL), represented by its board, expresses great sorrow and concern for the war in Ukraine and the attack on the freedom and peace of its population. It condemns the illegal and brutal invasion of Ukraine by the Russian Federation.
EACSL supports the values of peaceful and harmonious coexistence of people building towards universal scientific knowledge. To this aim, we believe that geopolitical divergences among nations should uniquely be resolved through the legitimate means of international diplomacy and that the violent invasion of a sovereign nation and its consequences on the population are never acceptable.
We join the expression of concern of academic and scientific institutions around the world for the suffering imposed on the Ukrainian population. We support all Ukranian scientific institutions and researchers and also those Russian citizens and members of the scientific community who are opposing the military aggression pursued by their own country.
EACSL will do all it can to financially support Ukranian researchers and researchers working in Ukraine to enable them to attend EACSL conferences and workshops.