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.