15 June 2018, 13:15-14:15 BARC/EADS Talk by Petteri Kaski On Friday 15 June 2018 , assistant professor Petteri Kaski from Aalto University, Helsinki, Finland will give a talk at BARC on "How proofs are prepared at Camelot".