In this first issue of the new year, our chair, Catuscia Palamidessi, will present the future of SIGLOG. Then, we shall have a complexity column, written by Amey Bhangale and collected by Andrei Bulatov, on the recent progresses on (in)approximability of various Constraint Satisfaction Problems. Then, the conference coordinator of SIGLOG News, Joost-Pieter Katoen. introduces… Continue reading »
With the start of the Autumn, we are all back to our job, full of many exciting experiences done in the summer. In this fourth issue of 2024, we provide reports on some of them, namely the 2024 edition of FoSSaCS, LICS, and WiL, collected by the conference coordinator of SIGLOG News, Joost-Pieter Katoen. But… Continue reading »
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 »
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 »