OASIcs, Volume 100, PARMA-DITAM 2022