Welcome everybody to the third issue of 2024! Some of us are already in holiday, some are still at work; surely, many of us will meet in the forthcoming conferences, mostly our flagship conference (LICS). In the meanwhile, I invite you to read the present issue of SIGLOG News. In this issue The SIGLOG Chair… Continue reading »
Welcome everybody to the second issue of 2024! Spring is usually the time of the year where most of us work to submit (or receive feedback on) papers to the forthcoming summer conferences, where hopefully many SIGLOG members will meet and discuss in person. In the meanwhile, I hope that you will enjoy reading this… Continue reading »
Dear SIGLOG Members, Happy 2024 to all! SIGLOG News starts with the current issue its 11th volume; differently from the normal issues, here you will find a retrospective of the first 10 volumes of this journal, including, among other things, the list of all the columns published so far and a few statistics on them…. Continue reading »
Dear SIGLOG Members, After a summer full of scientific events, we are now at the last issue of 2023. This issue is quite rich, with two interesting technical columns and the report of the conference organizers of LICS’23, the SIGLOG flagship conference, and of CADE/FSCD. In this issue In the Complexity column, Andrei Bulatov presents… Continue reading »
Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue The SIGLOG Chair reports on the 2023 edition of LICS. In the verification column, Christel Baier presents a very interesting paper by Suguman Bansal on Automata-Based Quantitative Reasoning. To conclude, we wrap up this number with the latest issue of… Continue reading »
Dear SIGLOG Members, This year’s April issue of the SIGLOG Newsletter appeared. In this issue The SIGLOG Chair reports on some important news, relevant to all of us. As her first column, Christel Baier presents a very interesting paper by Bernd Finkbeiner on Logics and Algorithms for Hyperproperties. These are properties whose formulation is given… Continue reading »
The Research Highlights section of the Communications of the ACM aims to provide readers with a collection of outstanding research articles, selected from the broad spectrum of computing-research conferences. Starting this year, SIGLOG is an approved nominating organization for the Research Highlights section. Continue reading.
Dear SIGLOG Members, This year’s January issue of the SIGLOG Newsletter appeared. In this issue The SIGLOG Chair reports on some interesting events that took place last year and will take place in the new one. In his first Security and Privacy column, Steve Kremer presents an insightful work by Natasha Fernandes on optimality for… Continue reading »
Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue We announce the winner of the 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation and present the Call for Nominations for the next edition of the Award. In the Automata Column, edited by Mahesh Viswanathan, Andreas Pavlogiannis… Continue reading »
The 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Dexter Kozen for for his fundamental work on developing the theory and applications of Kleene Algebra with Tests, an equational system for reasoning about iterative programs.