Jul 07, 2022 PC Member LICS 2023 © Public Domain LICS Logo Manuel Bodirsky is Programme Committee Member of the Conference `Logic in Computer Science' 2023.