Progic 2015 and Spring School on Inductive Logic, 20–24 April