Author Archives: siglog

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 its solution in Neil Immerman’s Complexity Column. The Verification column, edited by Ranko Lazić, features… Continue reading »

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 is dedicated to two-variable logics: Emanuel Kieroński, Ian Pratt-Hartmann and Lidia Tendera discuss fragments and… Continue reading »

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 evolution of stochastic process algebras and their applications. Alin Deutsch, Richard Hull, Yuliang Li and… Continue reading »

Newsletter January 2018

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 »

Newsletter October 2017

Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. We pay tribute to two recently deceased pre-eminent computer scientists: Mike Gordon and Maurice Nivat. The issue features three technical columns. Nathanaël Fijalkow discusses undecidable problems for probabilistic automata in the Automata column edited by Mikołaj Bojańczyk. David Basin, Cas Cremers, Jannik Dreier… Continue reading »

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 first-order logics with tree-like models in Mikołaj Bojańczyk’s column on Automata. Neil Immerman’s Complexity column… Continue reading »

Winners of the 2017 Alonzo Church Award

The 2017 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau for providing a fully-abstract semantics for higher-order computation through the introduction of game models, thereby fundamentally revolutionising the field of programming language semantics, and for the… Continue reading »