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 before ... 

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 introduces this ... 

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 ... 

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. Then, you ... 

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 a very interesting ... 

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 SIGLOG Monthly, prepared by David ... 

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 by considering sets of ... 

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 differential privacy in the ... 

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 overviews the CFL/Dyck reachability ...