Today was the final day of the Logic and Learning summer school.