Progic 2015 and Spring School on Inductive Logic, 20–24 April (The Reasoner, 2024)