Author Archives: Henning

Newsletter January 2020

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 »

Newsletter October 2019

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 »

Newsletter July 2019

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 »