FORMALS 2023