European Association for Computer Science Logic

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:

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 2024

Nominations are now invited for the 2024 Ackermann Award.

PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1 January 2023 and 31 December 2023 are eligible for nomination for the award.

The deadline for submission is 1 July 2024.

Nominations should be submitted by the candidate or the supervisor via Easychair: https://easychair.org/conferences/?conf=ackermann2024

See also the Ackermann Award Submissions page.

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.