Dear SIGLOG Members, This year’s January issue of the SIGLOG Newsletter appeared. In this issue The SIGLOG Chair comments on recent developments regarding open access. Neil Immerman’s Complexity column features a tutorial on constant delay enumeration for conjunctive queries by Christoph Berkholz, Fabian Gerhardt and Nicole Schweikardt. In Ranko Lazić’s Verification column, Nathalie Bertrand surveys… Continue reading »
SIGLOG is calling for nominations for The Alonzo Church Award, which should be submitted to firstname.lastname@example.org by April 1, 2020. The details of the award and the nomination procedure for this year are described in this post.
Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue Frank Pfenning, the new SIGLOG Chair, encourages participation in SIGLOG-related activities. In Ranko Lazić’s Verification column, Matthew Hague surveys recent directions in research into string constraints. Alberto Lluch Lafuente reports on 14th International Federated Conference on Distributed Computing Techniques (DisCoTec)… Continue reading »
Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue Alongside the official announcement of the 2019 ACM SIGLOG Election results, we present letters from both the outgoing and incoming SIGLOG Chairs. In Jorge A. Pérez’s Conference Reports section, Michael Morak, Anna Prianichnikova and Ana Sokolova write about the Helmut… Continue reading »