The Formal Methods in the Field Bootcamp will be held following the summer school from June 1 to the morning of June 2, 2024.