@acmsiglog
Joined May 2014
  • Tweets147
  • Following31
  • Followers268
27Media
The last SIGLOG News issue of 2026 is out! After the summer break, in which many of us attended conferences and other events, we are all back to our duties. Check it out!!! siglog.org/newsletter-octobe…
1
2
2
75
We would like to call special attention to the new column on Logic in Education, edited by Thomas Zeume (Ruhr University Bochum), the new chair of the SIGLOG Education Committee. Happy reading, everyone!
2
2
37
Today in #ComputingHistory, we celebrate #AdaLovelaceDay, an international celebration of women in STEM. Ada Lovelace Day was established in 2009 to honor her legacy and highlight the many contributions of women in STEM. It strives to inspire future generations to pursue careers in these fields. In 1843, Ada Lovelace published what is widely regarded as the first computer program. Lovelace recognized that a machine could follow instructions to solve complex problems and predicted that computers would do far more than calculations. Her legacy continues to inspire. #OTD buff.ly/V8tN8M5
1
19
28
1,523
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č...
Photo from Burge & Enderton 2019

ALT Photo from Burge & Enderton 2019

2
5
8
374
more replies
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.
1
32
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!
32
A few important deadlines to keep in mind!
1
2
4
153
About the postdoc position: Sydney Algorithms and Computing Theory group working in foundational aspects of computer science (usyd-sact.github.io/). Application link: tinyurl.com/cmfe4s58 Contact: [email protected]
2
78
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-januar…
1
1
2
76
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!!
1
2
67
The third issue of 2025 ACM SIGLOG news is available now! Check it out: siglog.org/newsletter-july-2…
1
1
1
78
more replies
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.
1
1
50
We wrap up this number with the latest issue of SIGLOG Monthly, prepared by Elli Anastasiadi. You can't miss it!
1
26
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.
1
12
6
56
6,817
more replies
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.
1
1
6
245
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!
1
1
7
252
Load more