Category Archives: News

Newsletter July 2016

Dear SIGLOG Members, The July issue of the SIGLOG Newsletter appeared. In this issue We have four technical columns! Emmanuel Filiot and Pierre-Alain Reynier survey word functions and transducers in Mikołaj Bojánczyk’s Automata column. In the Complexity column edited by Neil Immerman, Toniann Pitassi and Iddo Tzameret discuss the latest results connecting proof complexity with… Continue reading »