Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue Frank Pfenning, the new SIGLOG Chair, encourages participation in SIGLOG-related activities. In Ranko Lazić’s Verification column, Matthew Hague surveys recent directions in research into string constraints. Alberto Lluch Lafuente reports on 14th International Federated Conference on Distributed Computing Techniques (DisCoTec)… Continue reading »

Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue Alongside the official announcement of the 2019 ACM SIGLOG Election results, we present letters from both the outgoing and incoming SIGLOG Chairs. In Jorge A. Pérez’s Conference Reports section, Michael Morak, Anna Prianichnikova and Ana Sokolova write about the Helmut… Continue reading »