Our group member Ando will defend his thesis 'Computing a Second Opinion: Automated Reasoning and Statistical Inference applied to Medical Data', 27 June 2014 at 14:30. The defense will be in the Academiegebouw, Broerstraat 5, Groningen.