Dear SIGLOG Members, This year’s January issue of the SIGLOG Newsletter appeared. In this issue Frank Pfenning, the SIGLOG chair, gives us an update on SIGLOG-related matters. We solicit nominations for the 2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation. As usual, we wrap up with the latest issue of the SIGLOG… Continue reading »
Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue Frank Pfenning, the SIGLOG chair, reports on a recent online meeting of the ACM SIG Governing Board. In Ranko Lazic’s Verification column, Mohamed Faouzi Atig gives an overview of complexity results regarding concurrent programs running under the TSO memory model…. Continue reading »
Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue Frank Pfenning, the SIGLOG chair, reflects upon this year’s LICS. We announce the winners of the 2020 Alonzo Church Award for Outstanding Contributions to Logic and Computation. In Neil Immerman’s Complexity column, Sandra Kiefer discusses her latest results on the… Continue reading »
Dear SIGLOG Members, This year’s April issue of the SIGLOG Newsletter appeared, a newsletter during the unusual times of COVID-19! In this issue As conferences are being rescheduled and moved online, the SIGLOG Chair wonders how best to organize this year’s LICS. Laure Daviaud writes about the sequentiality problem for max-plus automata in Ranko Lazić’s… Continue reading »
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 »
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 »
Dear SIGLOG Members, This year’s April issue of the SIGLOG Newsletter appeared. In this issue The April issue features two technical columns. David Pym surveys the Logic of Bunched Implications in Michael Mislove’s column on Semantics. Ori Lahav writes about verification under causally consistent shared memory in the Verification column edited by Ranko Lazić. Enjoy!
Dear SIGLOG Members, This year’s January issue of the SIGLOG Newsletter appeared. In this issue Every three years SIGLOG elects new office holders: the slate of candidates for 2019 can be found after the Chair’s Letter. In the Automata Column, the column’s editor Mikołaj Bojańczyk advocates the Hilbert method for analysing infinite-state systems. Ranko Lazić’s… Continue reading »
Note: The links below will only be active from 15 January on. Every three years, SIGLOG elects new office holders; these are Chair, Vice-Chair, Secretary and Treasurer. The election itself will take place later this spring. Only current SIGLOG members can vote; ACM will issue a ballot by email to all current SIGLOG members at… Continue reading »