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…
Alonzo Church Award for Outstanding Contributions to Logic and Computation 2019 Call for Nominations
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.
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 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…
The 2018 Alonzo Church Award for Outstanding Contributions to Logic and Computation Call for Nominations
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.
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…
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…
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 applied impact of these models.
Newsletter April 2017
Dear SIGLOG Members, This year’s April issue of the SIGLOG Newsletter appeared. In this issue Mikołaj Bojańczyk’s Automata column presents a category-theoretic perspective on automata and minimization in an article by Thomas Colcombet and Daniela Petrişan. Mai Gehrke and Andreas…