LIPIcs, Volume 223, CPM 2022