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 »
The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to Paul Blain Levy for his fundamental study of effectful λ-calculi through the Call-by-Push-Value calculus. The awardee book and paper are: Paul Blain Levy. Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation 2, Springer 2004, ISBN 1-4020-1730-8 Paul Blain Levy. Call-by-Push-Value:… 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 »
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, 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 »
The 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Lars Birkedal, Aleš Bizjak, Derek Dreyer, Jacques-Henri Jourdan, Ralf Jung, Robbert Krebbers, Filip Sieczkowski, Kasper Svendsen, David Swasey and Aaron Turon for the design and implementation of Iris, a higher-order concurrent separation logic framework.