Abstract
We announce the winner of the 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation and present the Call for Nominations for the next edition of the Award. In the Automata Column, edited by Mahesh Viswanathan, Andreas Pavlogiannis overviews the CFL/Dyck reachability problem on graphs. Mahsa Shirmohammadi presents a tutorial on stochastic games in Ranko Lazić's column on Verification. As usual, we wrap up with the latest issue of SIGLOG Monthly, prepared by David Purser. Finally, I would like to announce that, from January 2023, SIGLOG News will be edited by Daniele Gorla from the Sapienza University of Rome. I am very grateful to Daniele for agreeing to take over and wish him every success in this role! It has been my great pleasure and honour to edit SIGLOG News since its foundation in 2014. I thank all the contributors and column editors for the enjoyable and fruitful co-operation and, most of all, for all their expert articles and introductions!
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
