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 »
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, This year’s October issue of the SIGLOG Newsletter appeared. In this issue In the Chair’s letter, Frank Pfenning looks forward to this year’s LICS and next year’s FLoC. Véronique Bruyère surveys game-theoretic techniques in computer-aided synthesis in the Verification column edited by Ranko Lazić. We wrap up with the latest issue of… Continue reading »
Dear SIGLOG Members, This year’s January issue of the SIGLOG Newsletter appeared. In this issue We start off with Calls for Nominations for two major awards: the Alonzo Church Award for Outstanding Contributions to Logic and Computation, and the Presburger Award for Young Scientists. The Tributes section pays homage to three pre-eminent scientists who passed… Continue reading »
Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. We pay tribute to two recently deceased pre-eminent computer scientists: Mike Gordon and Maurice Nivat. The issue features three technical columns. Nathanaël Fijalkow discusses undecidable problems for probabilistic automata in the Automata column edited by Mikołaj Bojańczyk. David Basin, Cas Cremers, Jannik Dreier… Continue reading »