Welcome to the last SIGLOG News issue of 2026! After the summer break, in which many of us attended conferences and other events, we are all back to our duties. I hope this issue of SIGLOG News will be an enjoyable reading during the restart of our usual activities. First of all, after the usual… Continue reading »
Welcome to the third SIGLOG News issue of 2026! In this period full of conferences and events, an important change took place for SIGLOG: after many years of service and after many hard-fought battles, Catuscia Palamidessi is leaving her role of SIGLOG Chair, leaving the role to Anuj Dawar. I personally thank Catuscia for the… Continue reading »
Welcome to the second SIGLOG News issue of 2026! As anticipated in the January issue, from now and for the next three years we have two new column editors: Sławomir Lasota and Deepak Garg have respectively taken the place of Mahesh Viswanathan and Steve Kremer in the Automata and in the Security & Privacy columns…. Continue reading »
Welcome to the first SIGLOG News issue of 2026! This is a period dense of activities for all of us, both because it is a moment in which many submission deadlines fall and because many of us are busy in their teaching duties. For this reason, also this issue comes without any technical column. To… Continue reading »
Welcome to the last SIGLOG News issue of 2025! After a summer rich of events that actively involved a good part of our community, we are here to report some of the most relevant events that took place. Indeed, the conference coordinator of SIGLOG News, Joost-Pieter Katoen, introduces two reports on two conferences that are… Continue reading »
This third issue of 2025 starts with an important letter of the SIGLOG Chair Catuscia Palamidessi describing the situation of SIGLOG and its future. Then, we include a security and privacy column, collected by Steve Kremer and written by Raven Beutner, Arthur Correnson, and Bernd Finkbeiner on the verification of temporal ∀∃-hyperliveness properties, that include… Continue reading »
In the second issue of 2025, we include a semantics column, written by Glynn Winskel and collected by Prakash Panangaden: this is a very instructive survey on concurrent and distributed games and strategies. Then, the conference coordinator of SIGLOG News, Joost-Pieter Katoen. introduces a report on FSTTCS 2024 (the 44th edition of the Conference on… Continue reading »
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 »