Abstract
Welcome everybody to the third issue of 2024! Some of us are already in holiday, some are still at work; surely, many of us will meet in the forthcoming conferences, mostly our flagship conference (LICS). In the meanwhile, I invite you to read the present issue of SIGLOG News, whose contents are the following: -The SIGLOG Chair introduces this year edition of LICS and reports on the current situation of SIGLOG. -We present the outcome of the 2024 Alonzo Church Award. This prize was established in 2015 by SIGLOG, by the European Association for Theoretical Computer Science (EATCS), by the European Association for Computer Science Logic (EACSL), and by the Kurt Goedel Society (KGS). In 2022 the KGS was dissolved and, since then, the award has been sponsored by EACSL, EATCS and SIGLOG. The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This year's recipients are Thomas Ehrhard and Laurent Regnier. -Then, you can read a new semantics column, edited by Prakash Panangaden and written by Samson Abramsky and Luca Reggio, on Game comonads ; these offer a categorical view of a number of model-comparison games central to model theory and provide a new bridge between categorical methods developed for semantics, and the combinatorial and algorithmic methods of resource-sensitive model theory. -To conclude, we wrap up this number with the latest issue of SIGLOG Monthly, prepared by Elli Anastasiadi.
Published Version
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