ACM SIGLOG

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!!

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. siglog.org/newsletter-jan…

We wrap up this number with the latest issue of SIGLOG Monthly, prepared by Elli Anastasiadi. You can't miss it!

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.

The third issue of 2025 ACM SIGLOG news is available now! Check it out: siglog.org/newsletter-jul…

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!

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.

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.

Enjoy the reading!

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.

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).

Finally SIGLOG is an approved nominating organization for the Research Highlights section of the Communications of ACM. Liron Cohen, chair of the RH committee for SIGLOG, has nominated the following two papers, that were accepted by CACM:

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

Then, the conference coordinator of SIGLOG News, Joost-Pieter Katoen. introduces a report on FSTTCS 2024 (the 44th edition of the Conference on the Foundations of Software Technology and Theoretical Computer Science), written by Sławomir Lasota.

In the second issue of 2025, we include a semantics column, written by Glynn Winskel and collected by Prakash Panangaden: this is a very instructive survey on concurrent and distributed games and strategies.

Hot off the press: the April 2025 issue of the ACM SIGLOG Newsletter is out! siglog.org/newsletter-apr…