Report on Logic in Computer Science (LICS'23).

Th 38th Annual ACM/ IEEE Symposium on Logic in Computer Science (LICS), took place at Boston University, Boston, USA, from June 26 to June 29, 2023, with co-located events taking place on June 24 and June 25. Five workshops were co-located with LICS 2023: combinatorial games in finite model theory, the decision problem in first order logic, international workshop on quantitative logical method, structure meets power, and the logic mentoring workshop.