SIGLOG NEWS

Published by the ACM Special Interest Group on Logic and Computation

SIGLOG Executive Committee

Chair Catuscia Palamidessi Inria Saclay
Vice-Chair Andrzej Murawski University of Oxford
Secretary Sandra Alves Universidad do Porto
Treasurer Elaine Pimentel University College London
Franck van Breugel York University
Liron Cohen Ben-Gurion University
Carsten Fuhs Birkbeck, University of London
Prakash Panangaden McGill University
Simona Ronchi Della Rocca Univ. of Torino
CADE President Christoph Weidenbach Max Planck Inst. Saarbrücken
EATCS President Artur Czumaj University of Warwick
EACSL President Maribel Fernandez King’s College London
ACM ToCL E-in-C Anuj Dawar University of Cambridge
ASL Rep Phokion Kolaitis UC Santa Cruz

EDITOR IN CHIEF
Daniele Gorla Sapienza University of Rome

TECHNICAL COLUMN EDITORS

Automata Mahesh Viswanathan U. of Illinois Urbana-Champaign
Complexity Andrei Bulatov Simon Fraser University
Security and Privacy Steve Kremer LORIA, Inria Nancy, U. Lorraine
Semantics Prakash Panangaden McGill University
Verification Christel Baier Technische Universität Dresden

REGULAR FEATURES
Conference Reports Joost-Pieter Katoen RWTH Aachen Univ.
SIGLOG Monthly David Purser University of Liverpool
 Notice to Contributing Authors to SIG Newsletters
As a contributing author, you retain copyright to your article. ACM will refer all requests for
republication directly to you. By submitting your article for distribution in any newsletter of the
ACM Special Interest Groups, you hereby grant to ACM the following non-exclusive, perpetual,
worldwide rights:
— to publish your work online or in print on condition of acceptance by the editor
— to include the article in the ACM Digital Library and in any Digital Library-related services
— to allow users to make a personal copy of the article for noncommercial, educational, or rese-
arch purposes
— to upload your video and other supplemental material to the ACM Digital Library, the ACM
YouTube channel, and the SIG newsletter site
Furthermore, you affirm that:
— if third-party materials were used in your published work, supplemental material, or video,
that you have the necessary permissions to use those third-party materials in your work

SIGLOG News (ISSN 2372-3491) is an electronic quarterly publication by the Associa-

tion for Computing Machinery.
From the Editor-in-Chief

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 survey by

Ruiwen Dong on Algorithmic Problems for Semigroups, where the author reports on
the state of the art by covering many of the recent advances and by identifying a
number of open problems.

– In the Verification column, Christel Baier presents an article by Bentkamp, Blan-

chette, Nummelin, Tourret and Waldmann that provides an overview of the recently
developed λ-superposition approach, a technique used by new theorem provers for
verifying powerful logics in a very efficient way.

– Then, Joost-Pieter Katoen presents two conference reports: one about LICS’23, held
in Boston (USA), and the other one on the joint event that took place in Rome (IT)
with the colocation of CADE and FSCD.

– To conclude, we wrap up this number with the latest issue of SIGLOG Monthly, pre-
pared by David Purser.

Enjoy reading!

Daniele Gorla
Sapienza University of Rome
SIGLOG News Editor-in-Chief
editor@siglog.org

ACM SIGLOG News 1 October 2023, Vol. 10, No. 4