Foundational Methods in ComputerScience (FMCS) 21st -> 26th June 2022