LIPIcs, Volume 254, STACS 2023