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…
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.…
Newsletter April 2019
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…
Newsletter January 2019
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,…
2019 Candidate Slate Announcement
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…
Newsletter October 2018
Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue SIGLOG Chair reflects on the 2018 Federated Logic Conference (FLoC) and the recent SIG Governing Board meeting. Andrei Bulatov surveys the CSP Dichotomy Conjecture and…
Newsletter July 2018
Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue Howard Straubing presents a revisionist history of connections between first-order logic and aperiodic languages in Mikołaj Bojańczyk’s column on Automata. Neil Immerman’s column on Complexity…
Newsletter April 2018
Dear SIGLOG Members, This year’s April issue of the SIGLOG Newsletter appeared. In this issue Diego Figueira surveys research on the satisfiability problem for XPath in Mikołaj Bojańczyk’s column on Automata. In Michael Mislove’s Semantics column, Jane Hillston describes the…
Winners of the 2018 Alonzo Church Award
The 2018 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Tomás Feder and Moshe Y. Vardi for their fundamental contributions to the computational complexity of constraint-satisfaction problems.
Newsletter July 2017
Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue We announce the winners of this year’s Alonzo Church, LICS Test-of-Time and Kleene Awards! Luc Segoufin surveys the current state of the art in…