FORMAL 2024