ACM SIGLOG

[ACM SIGLOG @acmsiglog]

Given the foundational contributions of these papers, and astonishingly quick adoption of theoretical contributions by the entire relational and graph database industry behind SQL and GQL standards, these papers highly deserve to be recognized by the Alonzo Church Award!

[ACM SIGLOG @acmsiglog]

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, and Domagoj Vrgoč...

[ACM SIGLOG @acmsiglog]

2. Juan Reutter, Miguel Romero, Moshe Vardi, Regular Queries on Graph Databases, Theory of Computing Systems, Volume 61, Issue 1, 2017.
3. Pablo Barcelo, Leonid Libkin, Juan Reutter, Querying Regular Graph Patterns, Journal of the ACM, Volume 61, Issue 1, 2014.

[ACM SIGLOG @acmsiglog]

About the postdoc position: Sydney Algorithms and Computing Theory group working in foundational aspects of computer science (https://t.co/7CurznhGVm). Application link: https://t.co/DIdZna3swd Contact: [email protected]

[ACM SIGLOG @acmsiglog]

A few important deadlines to keep in mind!

[ACM SIGLOG @acmsiglog]

Then, Dale Miller introduces its recent book “Proof Theory and Logic Programming: Computation as Proof Search”, published last December by Cambridge University Press.
We wrap up this number with the latest issue of SIGLOG Monthly, prepared by Elli Anastasiadi.
Enjoy the reading!!

[ACM SIGLOG @acmsiglog]

There is a fresh issue of ACM SIGLOG news, the first one from 2026!! Edited by Daniele Gorla, it starts with the letter of the SIGLOG Chair Catuscia Palamidessi describing the actual situation of SIGLOG.
https://t.co/5WXjeWYh1K

[ACM SIGLOG @acmsiglog]

We wrap up this number with the latest issue of SIGLOG Monthly, prepared by Elli Anastasiadi.

You can't miss it!

[ACM SIGLOG @acmsiglog]

The third issue of 2025 ACM SIGLOG news is available now! Check it out:
https://t.co/NuSCP4TMHv

[ACM SIGLOG @acmsiglog]

Also, the conference coordinator of SIGLOG News, Joost-Pieter Katoen, introduces a report on the flagship conference of SIGLOG, namely LICS 2025 (the 40th edition of the ACM/IEEE Symposium on Logic in Computer Science), written by the PC Chairs Barbara König and Lars Birkedal.

[ACM SIGLOG @acmsiglog]

In addition to its scientific contribution, the nominated monograph is a unique access-point into the culmination of decades of logic and programming language semantics.

Very well deserved, congratulations, Paul!

[ACM SIGLOG @acmsiglog]

The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to Paul Blain Levy for his fundamental study of effectful λ-calculi through the Call-by-Push-Value calculus.

[ACM SIGLOG @acmsiglog]

To date, CBPV remains a unifying starting point in the study of computational and logical phenomena, including: effects, polarisation, term normalisation, type-isomorphisms, and program transformations.

[ACM SIGLOG @acmsiglog]

Enjoy the reading!

[ACM SIGLOG @acmsiglog]

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits, by Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen. (appeared in PLDI 2023).

[ACM SIGLOG @acmsiglog]

and Upon This Quote I Will Build My Church Thesis, by Pierre-Marie Pédrot (appeared in LICS 2024).
Congratulations to the authors and let’s hope that the SIGLOG community will frequently contribute to CACM in the near future.