Joined May 2014
- Tweets 144
- Following 31
- Followers 271
- Likes 34
27 Photos and videos
Jun 10
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č...
ALT Photo from Burge & Enderton 2019
2
5
9
340
Jun 10
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
30
Jun 10
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!
30
Jun 7
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: sasha.rubin@sydney.edu.au
2
39
Feb 3
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
68
Feb 3
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
64
3 Aug 2025
The third issue of 2025 ACM SIGLOG news is available now! Check it out:
siglog.org/newsletter-july-2…
1
1
1
73
3 Aug 2025
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
3 Aug 2025
We wrap up this number with the latest issue of SIGLOG Monthly, prepared by Elli Anastasiadi.
You can't miss it!
1
26
20 Jun 2025
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
57
6,734
20 Jun 2025
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
243
20 Jun 2025
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
251
29 Apr 2025
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).
1
2
57
29 Apr 2025
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.
1
2
48