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 noninference and generalized noninterference; these express requirements that relate multiple system executions through combinations of universal and existential quantification and pose fundamental challenges that go beyond those encountered in standard trace or k-hypersafety properties. Then, the conference coordinator of SIGLOG News, Joost-Pieter Katoen, introduces a report on the flagship conference of SIGLOG, namely LICS 2025 (the 40th edition of the ACM/IEEE Symposium on Logic in Computer Science), written by the PC Chairs Barbara König and Lars Birkedal. Finally, we wrap up this number with the latest issue of SIGLOG Monthly, prepared by Elli Anastasiadi.
Enjoy reading!
Daniele Gorla
Sapienza University of Rome
SIGLOG News Editor-in-Chief