Newsletter April 2025
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… Continue reading »