Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue In the Chair’s letter, Frank Pfenning looks forward to this year’s LICS and next year’s FLoC. Véronique Bruyère surveys game-theoretic techniques in computer-aided synthesis in the Verification column edited by Ranko Lazić. We wrap up with the latest issue of… Continue reading »
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 »
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 »