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č...
- 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…
- The third issue of 2025 ACM SIGLOG news is available now! Check it out: siglog.org/newsletter-jul…
- 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.
