If you're attending #FMAS2024 remember that we are co-located with the 19th International Conference on Integrated Formal Methods (iFM).

Are you staying for the whole week? The programme for #iFM24 is here: https://ifm2024.cs.manchester.ac.uk/program.htm