Announcement_10
Our papers Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability (with Moritz Lichter and Benedikt Pago) and Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth (with Eva Fluck and Gian Luca Spitzer) were accepted for CSL 2024.