NHR Summerschool Correctness and CI / Material