The 2024 edition of the SAT/SMT/AR summer school will be held in Nancy during the week preceding IJCAR 2024.