During this talk, I report on progress we have made towards formalising Algebraic Quantum Field Theory (AQFT) and present formalisations in the theories of manifolds, Lie groups, and involutive algebras. I will outline a plan to quickly obtain a minimal formalisation of AQFT, suitable for the study of theorems with physical interpretation.
Speaker: Richard Schmoetten

This presentation will presentan assessment of the feasibility of predicting brain health outcomes from sleep duration derived using accelerometery data from UK Biobank.
Speaker: Matt Whelan

In this talk, we describe our investigation of associations between physical multimorbidity and subsequent depression by performing clustering analysis upon baseline morbidity data for UK Biobank participants and then performing survival analysis to compare time to subsequent depression diagnosis.
Speaker: Lauren DeLong