LIPIcs, Volume 283, ISAAC 2023