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 the Foundations of Software Technology and Theoretical Computer Science), written by Sławomir Lasota. Finally, we wrap up this number with the latest issue of SIGLOG Monthly, prepared by Elli Anastasiadi.
As a final remark, I recall that SIGLOG is an approved nominating organization for the Research Highlights section of the Communications of ACM. Liron Cohen, chair of the RH committee for SIGLOG, has nominated the following two papers, that were accepted by CACM:
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits, by Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen. (appeared in PLDI 2023).
and
Upon This Quote I Will Build My Church Thesis, by Pierre-Marie Pédrot (appeared in LICS 2024).
Congratulations to the authors and let’s hope that the SIGLOG community will frequently contribute to CACM in the near future.
Enjoy reading!
Daniele Gorla
Sapienza University of Rome
SIGLOG News Editor-in-Chief