Dear SIGLOG Members, This year’s January issue of the SIGLOG Newsletter appeared. In this issue Frank Pfenning congratulates two SIGLOG members on becoming ACM Fellows. Nominations for the 2022 Alonzo Church Award are solicited until April 2. We present the current slate of candidates in the forthcoming SIGLOG elections. Additional candidates may still be placed… Continue reading »
Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue SIGLOG’s Chair Frank Pfenning announces the Chair of the Nominating Committee for the next SIGLOG elections in 2022. In Ranko Lazić’s column on Verification, Antonı́n Kučera introduces us to the asymptotic analysis of VASS (Petri net) computations. Daniele Gorla reports… Continue reading »
Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue The SIGLOG Chair Frank Pfenning reports on this year’s LICS and plans for next year. We announce the winners of the 2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation. In the Verification column edited by Ranko Lazić,… Continue reading »
Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue In the Chair’s letter, Frank Pfenning looks forward to this year’s LICS and next year’s FLoC. Véronique Bruyère surveys game-theoretic techniques in computer-aided synthesis in the Verification column edited by Ranko Lazić. We wrap up with the latest issue of… Continue reading »
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 »