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.
Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue We announce the results of the 2022 ACM SIGLOG Election, and present Chair’s letters from both the outgoing and incoming Chairs. It is a great pleasure to introduce Mahesh Viswanathan as the new column editor for Automata. His first column… Continue reading »
The SIGLOG Executive Committee congratulates the following who won the election to SIGLOG offices for the term of 1 July 2022 – 30 June 2025: Chair: Catuscia Palamidessi Vice-Chair: Andrzej Murawski Secretary: Sandra Alves Treasurer: Elaine Pimentel
Dear SIGLOG Members, This year’s April issue of the SIGLOG Newsletter appeared. In this issue The SIGLOG Chair encourages members to participate in the 2022 ACM SIG Elections and to attend the forthcoming FLoC in Haifa. In Mike Mislove’s column on Semantics, Paul Levy expounds one of his favourite subjects: Call-By-Push-Value. In Jorge A. Pérez’s… Continue reading »