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 »
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 its solution in Neil Immerman’s Complexity Column. The Verification column, edited by Ranko Lazić, features… Continue reading »
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 is dedicated to two-variable logics: Emanuel Kieroński, Ian Pratt-Hartmann and Lidia Tendera discuss fragments and… Continue reading »
SIGLOG is calling for nominations for The Alonzo Church Award, which should be submitted to shankar@csl.sri.com by March 1, 2019. The details of the award and the nomination procedure for this year are described in this post.
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 evolution of stochastic process algebras and their applications. Alin Deutsch, Richard Hull, Yuliang Li and… Continue reading »
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.
Dear SIGLOG Members, This year’s January issue of the SIGLOG Newsletter appeared. In this issue We start off with Calls for Nominations for two major awards: the Alonzo Church Award for Outstanding Contributions to Logic and Computation, and the Presburger Award for Young Scientists. The Tributes section pays homage to three pre-eminent scientists who passed… Continue reading »
SIGLOG is calling for nominations for The Alonzo Church Award, which should be submitted to catuscia@lix.polytechnique.fr by March 1, 2018. The details of the award and the nomination procedure for this year are described in this post.