Welcome to the first SIGLOG News issue of 2026!
This is a period dense of activities for all of us, both because it is a moment in which many submission deadlines fall and because many of us are busy in their teaching duties. For this reason, also this issue comes without any technical column. To try and improve the vitality of this publication, from the next issue we shall change some of the column editors, that have so far contributed to the quality and interest of SIGLOG News. Indeed, the Executive Committee and myself has agreed that column editors are nominated for three years, with the possibility of renewal. In this way, SIGLOG News will be more and more a place where our community can express and present its research interests. Let me also take this occasion to encourage all of you to contribute, by also directly contacting the column editors and proposing a possible column. Nevertheless, this issue has some interesting content:
- First of all, we have the letter of the SIGLOG Chair Catuscia Palamidessi describing the actual situation of SIGLOG.
- Second, Dale Miller introduces its recent book “Proof Theory and Logic Programming: Computation as Proof Search”, published last December by Cambridge University Press.
- 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