The Alonzo Church Award for Outstanding Contributions to Logic and Computation was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS) (until 2022). The award is for an outstanding contribution represented by a paper or small group of papers within the past 25 years.
Please see the latest Call for Nominations.
The 2026 Alonzo Church Award for Outstanding Contributions to Logic and Computation
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 2026 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to
Pablo Barceló, Leonid Libkin, Wim Martens, Juan Reutter, Miguel Romero, Moshe Vardi, Domagoj Vrgoč
for laying foundations of logical languages for querying property graphs that found adoption in the SQL and GQL international standards within a decade.
- Leonid Libkin, Wim Martens, Domagoj Vrgoc, Querying Graphs with Data, Journal of the ACM, Volume 63, Issue 2, pages 1–53, 2016.
- Juan Reutter, Miguel Romero, Moshe Vardi, Regular Queries on Graph Databases, Theory of Computing Systems, Volume 61, Issue 1, pages 31–83.
- Pablo Barcelo, Leonid Libkin, Juan Reutter, Querying Regular Graph Patterns, Journal of the ACM, Volume 61, Issue 1, pages 1–54, 2014.