Category Archives: Uncategorized

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 »